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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 23168-23169
(domain niece 1 Woman) Mid-level-ontology.kif 23170-23170 Die Zahl 1 Argument von niece ist ein fall von Woman %n{nicht}
(domain niece 2 Human) Mid-level-ontology.kif 23171-23171 Die Zahl 2 Argument von niece ist ein fall von Human %n{nicht}
(instance niece BinaryPredicate) Mid-level-ontology.kif 23173-23173 niece ist ein fall von BinaryPredicate %n{nicht}
(subrelation niece familyRelation) Mid-level-ontology.kif 23172-23172 niece ist eine teilrelation von 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 40505-40505
(termFormat ChineseTraditionalLanguage niece "侄女") domainEnglishFormat.kif 40504-40504
(termFormat EnglishLanguage niece "niece") domainEnglishFormat.kif 40503-40503

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


(<=>
    (niece ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (daughter ?N ?S))))
Mid-level-ontology.kif 23175-23180 niece Woman and Human genau dann wenn es gibt Organism um ** Human ist die geschwister von ** Organism %n{nicht} und daughter ** Woman and ** Organism


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



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