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

Formal Language: 



KB Term:  Term intersection
English Word: 

  givenName

 Sigma KEE - givenName
givenName

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14744-14748
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14742-14742 域 給予的名稱, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14743-14743 域 給予的名稱, 2 and Human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14740-14740 例 給予的名稱 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14739-14739 例 給予的名稱 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Media.kif 3444-3444 子關係 給予的名稱 and humanName
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14741-14741 子關係 給予的名稱 and 名

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1109-1109
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1108-1108
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1107-1107
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26082-26082
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26081-26081
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26080-26080

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3461-3466

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 1930-1930 "Jesus" 是 JesusOfNazareth 的 given name
No TPTP formula. May not be expressible in strict first order. Media.kif 1931-1931 "Yehoshua" 是 JesusOfNazareth 的 given name
No TPTP formula. May not be expressible in strict first order. Media.kif 1933-1933 "Yeshua" 是 JesusOfNazareth 的 given name


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