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 23154-23155
(domain nephew 1 Man) Mid-level-ontology.kif 23156-23156 Il numero 1 argomenti di nephew è un istanza di Man
(domain nephew 2 Human) Mid-level-ontology.kif 23157-23157 Il numero 2 argomenti di nephew è un istanza di Umano
(instance nephew BinaryPredicate) Mid-level-ontology.kif 23159-23159 nephew è un' istanza di PredicatoBinario
(subrelation nephew familyRelation) Mid-level-ontology.kif 23158-23158 nephew è una sottorelazione di 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 40157-40157
(termFormat ChineseTraditionalLanguage nephew "外甥") domainEnglishFormat.kif 40156-40156
(termFormat EnglishLanguage nephew "nephew") domainEnglishFormat.kif 40155-40155

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


(<=>
    (nephew ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (son ?N ?S))))		 Mid-level-ontology.kif 23161-23166 nephew Man and Umano Organismo Organismo è un fratello germano di Umano son Man and Organismo


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