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 23065-23066
(domain niece 1 Woman) Mid-level-ontology.kif 23067-23067 Le nombre 1 argument de niece est une instance de Woman
(domain niece 2 Human) Mid-level-ontology.kif 23068-23068 Le nombre 2 argument de niece est une instance de humain
(instance niece BinaryPredicate) Mid-level-ontology.kif 23070-23070 niece est une instance de pr�dicat binaire
(subrelation niece familyRelation) Mid-level-ontology.kif 23069-23069 niece est une sous-relation de 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 40515-40515
(termFormat ChineseTraditionalLanguage niece "侄女") domainEnglishFormat.kif 40514-40514
(termFormat EnglishLanguage niece "niece") domainEnglishFormat.kif 40513-40513

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


(<=>
    (niece ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (daughter ?N ?S))))		 Mid-level-ontology.kif 23072-23077 niece Woman and humain organisme organisme est un fr�re ou une soeur de humain daughter Woman 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