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 14745-14749
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14743-14743 O argumento numero 1 de givenName e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14744-14744 O argumento numero 2 de givenName e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14741-14741 givenName e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14740-14740 givenName e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Media.kif 3444-3444 givenName e' uma sub-relacao de humanName
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14742-14742 givenName e' uma sub-relacao 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 3461-3466

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