TreeView Knowledge Base Browser - relatedInternalConcept

appearance as argument number 1

(instance relatedInternalConcept BinaryPredicate)	Merge.kif 606-606	related internal concept is an instance of binary predicate
(instance relatedInternalConcept EquivalenceRelation)	Merge.kif 607-607	related internal concept is an instance of equivalence relation
(domain relatedInternalConcept 1 Entity)	Merge.kif 608-608	The number 1 argument of related internal concept is an instance of entity
(domain relatedInternalConcept 2 Entity)	Merge.kif 609-609	The number 2 argument of related internal concept is an instance of entity
(documentation relatedInternalConcept EnglishLanguage "Means that the two arguments are related concepts within the SUMO, i.e. there is a significant similarity of meaning between them. To indicate a meaning relation between a SUMO concept and a concept from another source, use the Predicate relatedExternalConcept.")	Merge.kif 611-615	The number 2 argument of related internal concept is an instance of entity

appearance as argument number 2

(relatedInternalConcept relatedExternalConcept relatedInternalConcept)	Merge.kif 621-621	related external concept is internally related to related internal concept
(termFormat EnglishLanguage relatedInternalConcept "related internal concept")	domainEnglishFormat.kif 49311-49311	related external concept is internally related to related internal concept
(termFormat ChineseTraditionalLanguage relatedInternalConcept "相關的內部概念")	domainEnglishFormat.kif 49312-49312	related external concept is internally related to related internal concept
(termFormat ChineseLanguage relatedInternalConcept "相关的内部概念")	domainEnglishFormat.kif 49313-49313	related external concept is internally related to related internal concept
(format EnglishLanguage relatedInternalConcept "%1 is %n internally related to %2")	english_format.kif 320-320	related external concept is internally related to related internal concept

appearance as argument number 0

(relatedInternalConcept disjointRelation disjoint)	Merge.kif 406-406	disjoint relation is internally related to disjoint
(relatedInternalConcept exhaustiveDecomposition partition)	Merge.kif 542-542	exhaustive decomposition is internally related to partition
(relatedInternalConcept disjointDecomposition exhaustiveDecomposition)	Merge.kif 560-560	disjoint decomposition is internally related to exhaustive decomposition
(relatedInternalConcept disjointDecomposition disjoint)	Merge.kif 561-561	disjoint decomposition is internally related to disjoint
(relatedInternalConcept relatedExternalConcept relatedInternalConcept)	Merge.kif 621-621	related external concept is internally related to related internal concept
(relatedInternalConcept successorAttributeClosure successorAttribute)	Merge.kif 724-724	successor attribute closure is internally related to successor attribute
(relatedInternalConcept BackFn FrontFn)	Merge.kif 892-892	Back is internally related to front
(relatedInternalConcept member instance)	Merge.kif 1355-1355	member is internally related to instance
(relatedInternalConcept member element)	Merge.kif 1356-1356	member is internally related to element
(relatedInternalConcept ContentBearingObject containsInformation)	Merge.kif 1419-1419	Content bearing object is internally related to contains information
(relatedInternalConcept containsInformation containsFormula)	Merge.kif 1458-1458	contains information is internally related to contains formula
(relatedInternalConcept wants desires)	Merge.kif 2873-2873	wants is internally related to desires
(relatedInternalConcept desires wants)	Merge.kif 2896-2896	desires is internally related to wants
(relatedInternalConcept causes causesSubclass)	Merge.kif 3886-3886	causes is internally related to causes subclass
(relatedInternalConcept time located)	Merge.kif 3971-3971	time is internally related to located
(relatedInternalConcept time holdsDuring)	Merge.kif 3972-3972	time is internally related to holds during
(relatedInternalConcept WhereFn WhenFn)	Merge.kif 4340-4340	Where is internally related to when
(relatedInternalConcept preventsSubclass hindersSubclass)	Merge.kif 4453-4453	prevents subclass is internally related to hinders subclass
(relatedInternalConcept prevents preventsSubclass)	Merge.kif 4482-4482	prevents is internally related to prevents subclass
(relatedInternalConcept prevents hinders)	Merge.kif 4483-4483	prevents is internally related to hinders
(relatedInternalConcept hinders hindersSubclass)	Merge.kif 4505-4505	hinders is internally related to hinders subclass
(relatedInternalConcept equivalentContentInstance equivalentContentClass)	Merge.kif 4665-4665	equivalent content instance is internally related to equivalent content class
(relatedInternalConcept subsumesContentInstance subsumesContentClass)	Merge.kif 4692-4692	subsumes content instance is internally related to subsumes content class
(relatedInternalConcept realization equivalentContentInstance)	Merge.kif 4713-4713	realization is internally related to equivalent content instance
(relatedInternalConcept realization containsInformation)	Merge.kif 4714-4714	realization is internally related to contains information

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: