TreeView Knowledge Base Browser - transported

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - transported

transported

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22905-22908
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22910-22910	O argumento numero 1 de transported e' uma instancia de Transporte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22911-22911	O argumento numero 2 de transported e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22904-22904	transported e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22903-22903	transported e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22913-22913	transported e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22912-22912	transported e' uma sub-relacao de objectTransferred

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 243-243
No TPTP formula. May not be expressible in strict first order.	english_format.kif 244-244
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1970-1970
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22923-22923	cargo e' uma sub-relacao de transported
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 244-244
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59026-59026
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59025-59025
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59024-59024

consequent

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

Mid-level-ontology.kif 23627-23633

Processo e' uma instancia de Dirigir Transporte e' um sub-processo de Processo Transporte e' uma instancia de Transporte Processo e' um agente de AutonomousAgent
transported Transporte and 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