Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  nephew

 Sigma KEE - nephew
nephew

appearance as argument number 1
-------------------------


(documentation nephew EnglishLanguage "(nephew ?NEPHEW ?PERSON) means that ?NEPHEW is the son of a sibling of ?PERSON.") Mid-level-ontology.kif 23051-23052
(domain nephew 1 Man) Mid-level-ontology.kif 23053-23053 Le nombre 1 argument de nephew est une instance de Man
(domain nephew 2 Human) Mid-level-ontology.kif 23054-23054 Le nombre 2 argument de nephew est une instance de humain
(instance nephew BinaryPredicate) Mid-level-ontology.kif 23056-23056 nephew est une instance de pr�dicat binaire
(subrelation nephew familyRelation) Mid-level-ontology.kif 23055-23055 nephew est une sous-relation de familyRelation

appearance as argument number 2
-------------------------


(format ChineseLanguage nephew "%1 是 %2 的 nephew ") domainEnglishFormat.kif 3970-3970
(format ChineseTraditionalLanguage nephew "%1 是 %2 的 nephew ") domainEnglishFormat.kif 3969-3969
(format EnglishLanguage nephew "%1 is the nephew of %2") domainEnglishFormat.kif 3968-3968
(termFormat ChineseLanguage nephew "外甥") domainEnglishFormat.kif 40167-40167
(termFormat ChineseTraditionalLanguage nephew "外甥") domainEnglishFormat.kif 40166-40166
(termFormat EnglishLanguage nephew "nephew") domainEnglishFormat.kif 40165-40165

antecedent
-------------------------


(<=>
    (nephew ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (son ?N ?S))))		 Mid-level-ontology.kif 23058-23063 nephew Man and humain organisme organisme est un fr�re ou une soeur de humain son Man and organisme


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