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 14726-14730
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14723-14723	O argumento numero 1 de familyName e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14724-14724	O argumento numero 2 de familyName e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14722-14722	familyName e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14721-14721	familyName e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Media.kif 3443-3443	familyName e' uma sub-relacao de humanName
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14725-14725	familyName e' uma sub-relacao 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 3452-3457

humanName Sequencia Simbolica and Humano familyName Sequencia Simbolica and Humano subString Sequencia Simbolica and Sequencia Simbolica
keyName Sequencia Simbolica and Sequencia Simbolica

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