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 nephew の数値 1 引数は Man の instance では %n
(domain nephew 2 Human) Mid-level-ontology.kif 23157-23157 nephew の数値 2 引数は 人［人間］ の instance では %n
(instance nephew BinaryPredicate) Mid-level-ontology.kif 23159-23159 nephew は 2進述語 の instance では %n
(subrelation nephew familyRelation) Mid-level-ontology.kif 23158-23158 nephew は familyRelation の subrelation では %n

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 人［人間］ 物 物 は 人［人間］ の father では %n son Man and 物


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