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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TotalValuedRelation

 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 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 14744-14744 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 14741-14741 givenName est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14740-14740 givenName est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Media.kif 3444-3444 givenName est une sous-relation de humanName
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14742-14742 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 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