TreeView Knowledge Base Browser - ancestor

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ancestor

ancestor

appearance as argument number 1

(documentation ancestor ChineseLanguage "这是 parent 谓词的传递闭包。 (ancestor ?DESCENDANT ?ANCESTOR)的意思是 ?ANCESTOR 要不是 ?DESCENDANT 的 parent，就是 DESCENDANT 的 parent 的 parent，如此类推。")	chinese_format.kif 3686-3688
(documentation ancestor EnglishLanguage "The transitive closure of the parent predicate. (ancestor ?DESCENDANT ?ANCESTOR) means that ?ANCESTOR is either the parent of ?DESCENDANT or the parent of the parent of DESCENDANT or etc.")	Merge.kif 16423-16426
(domain ancestor 1 Organism)	Merge.kif 16421-16421	The number 1 argument of ancestor is an instance of organism
(domain ancestor 2 Organism)	Merge.kif 16422-16422	The number 2 argument of ancestor is an instance of organism
(instance ancestor BinaryPredicate)	Merge.kif 16420-16420	ancestor is an instance of binary predicate
(instance ancestor IrreflexiveRelation)	Merge.kif 16418-16418	ancestor is an instance of irreflexive relation
(instance ancestor TotalValuedRelation)	Merge.kif 16419-16419	ancestor is an instance of total valued relation
(instance ancestor TransitiveRelation)	Merge.kif 16417-16417	ancestor is an instance of transitive relation

appearance as argument number 2

(format ChineseLanguage ancestor "%2 是 %1 的 ancestor ")	domainEnglishFormat.kif 2798-2798
(format ChineseTraditionalLanguage ancestor "%2 是 %1 的 ancestor ")	domainEnglishFormat.kif 2797-2797
(format EnglishLanguage ancestor "%2 is the ancestor of %1")	domainEnglishFormat.kif 2796-2796
(termFormat ChineseLanguage ancestor "祖先")	domainEnglishFormat.kif 7380-7380
(termFormat ChineseTraditionalLanguage ancestor "祖先")	domainEnglishFormat.kif 7379-7379
(termFormat EnglishLanguage ancestor "ancestor")	domainEnglishFormat.kif 7378-7378

consequent

(=> (and (instance ?PERSON Human) (equal (DescendantsFn ?PERSON) ?DESCENDANTS)) (forall (?MEMBER) (<=> (member ?MEMBER ?DESCENDANTS) (ancestor ?MEMBER ?PERSON))))	Mid-level-ontology.kif 7494-7501	If a human is an instance of human and the descendants of the human is equal to a family group, then for all an organism the organism is a member of the family group if and only if the human is the ancestor of the organism
(=> (familyRelation ?ORGANISM1 ?ORGANISM2) (exists (?ORGANISM3) (and (ancestor ?ORGANISM3 ?ORGANISM1) (ancestor ?ORGANISM3 ?ORGANISM2))))	Merge.kif 16409-16414	If an organism and another organism are related, then there exists a third organism such that the organism is the ancestor of the third organism and the other organism is the ancestor of the third organism
(=> (parent ?CHILD ?PARENT) (ancestor ?CHILD ?PARENT))	Merge.kif 16442-16444	If an organism is a parent of another organism, then the organism is the ancestor of the other organism

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

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners