SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > Predicate > TernaryPredicate > relatedExternalConcept

relatedExternalConcept
subject			fact

relatedExternalConcept	documentation Used to signify a three-place relation between a concept in an external knowledge source, a concept in the SUMO, and the name of the other knowledge source
	has domain1 Entity
	has domain2 SymbolicString
	has domain3 Language
	has relatedInternalConcept relatedInternalConcept
	is an instance of TernaryPredicate
TernaryPredicate	has axiom (=> (instance ?REL TernaryPredicate) (valence ?REL 3))
Predicate	is first domain of singleValued
Relation	is second domain of subrelation
Class	is third domain of domain
	is third domain of domainSubclass
Abstract	is disjoint from Physical