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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - familyName
familyName

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14753-14757
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14750-14750 Le nombre 1 argument de familyName est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14751-14751 Le nombre 2 argument de familyName est une instance de humain
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14749-14749 familyName est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14748-14748 familyName est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Media.kif 3425-3425 familyName est une sous-relation de humanName
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14752-14752 familyName est une sous-relation de names

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 995-995
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 994-994
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 993-993
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23218-23218
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23217-23217
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23216-23216

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3434-3439


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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