TreeView Knowledge Base Browser - Embracing

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Embracing

Embracing

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11664-11665
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10942-10942
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10941-10941
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10940-10940
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10943-10943
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10944-10944
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10939-10939
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10937-10937
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10938-10938
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9999-9999
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11663-11663	Embracing e' uma sub-classe de Tocar

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21894-21894
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21893-21893
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21892-21892

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 11667-11675

Processo e' uma instancia de Embracing
AutonomousAgent AutonomousAgent AutonomousAgent e' uma instancia de Humano AutonomousAgent e' uma instancia de Humano AutonomousAgent e' igual a AutonomousAgent Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent

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