TreeView Knowledge Base Browser - familyName

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

humanName cha�ne sympbolique and humain familyName cha�ne sympbolique and humain subString cha�ne sympbolique and cha�ne sympbolique
keyName cha�ne sympbolique and cha�ne sympbolique

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