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 14772-14776
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14770-14770 给予的名称 的 1 数量 是 符号串 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14771-14771 给予的名称 的 2 数量 是 人类 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14768-14768 给予的名称 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14767-14767 给予的名称 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Media.kif 3426-3426 给予的名称 是 humanName 的 subrelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14769-14769 给予的名称 是 命名 的 subrelation

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 3443-3448

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