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

Formal Language: 



KB Term:  Term intersection
English Word: 

  niece

 Sigma KEE - niece
niece

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


(documentation niece EnglishLanguage "(niece ?NIECE ?PERSON) means that ?NIECE is the daughter of a sibling of ?PERSON.") Mid-level-ontology.kif 23115-23116
(domain niece 1 Woman) Mid-level-ontology.kif 23117-23117 Il numero 1 argomenti di niece è un istanza di Woman
(domain niece 2 Human) Mid-level-ontology.kif 23118-23118 Il numero 2 argomenti di niece è un istanza di Umano
(instance niece BinaryPredicate) Mid-level-ontology.kif 23120-23120 niece è un' istanza di PredicatoBinario
(subrelation niece familyRelation) Mid-level-ontology.kif 23119-23119 niece è una sottorelazione di familyRelation

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


(format ChineseLanguage niece "%1 是 %2 的 niece ") domainEnglishFormat.kif 3978-3978
(format ChineseTraditionalLanguage niece "%1 是 %2 的 niece ") domainEnglishFormat.kif 3977-3977
(format EnglishLanguage niece "%1 is the niece of %2") domainEnglishFormat.kif 3976-3976
(termFormat ChineseLanguage niece "侄女") domainEnglishFormat.kif 40503-40503
(termFormat ChineseTraditionalLanguage niece "侄女") domainEnglishFormat.kif 40502-40502
(termFormat EnglishLanguage niece "niece") domainEnglishFormat.kif 40501-40501

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


(<=>
    (niece ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (daughter ?N ?S))))		 Mid-level-ontology.kif 23122-23127 niece Woman and Umano Organismo Organismo è un fratello germano di Umano daughter Woman 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