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 Le nombre 1 argument de givenName est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14771-14771 Le nombre 2 argument de givenName est une instance de humain
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14768-14768 givenName est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14767-14767 givenName est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Media.kif 3426-3426 givenName est une sous-relation de humanName
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14769-14769 givenName est une sous-relation de names

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 givenName "Jesus" and JesusOfNazareth
No TPTP formula. May not be expressible in strict first order. Media.kif 1931-1931 givenName "Yehoshua" and JesusOfNazareth
No TPTP formula. May not be expressible in strict first order. Media.kif 1933-1933 givenName "Yeshua" and JesusOfNazareth


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