TreeView Knowledge Base Browser - TravelContainer

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

TernaryRelation

TravelContainer

Sigma KEE - TravelContainer

TravelContainer

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4674-4676
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4673-4673	TravelContainer e' uma sub-classe de Container

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59060-59060
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59059-59059
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59058-59058

antecedent

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

Hotel.kif 2392-2407

customer Agente Cognitivo and AutonomousAgent AutonomousAgent emprega Agente Cognitivo TravelerAccommodation e' um atributo de AutonomousAgent Porter e' um atributo de Agente Cognitivo Agente Cognitivo possui Objeto Objeto e' uma instancia de TravelContainer
Objeto Processo Objeto e' uma instancia de HotelUnit Processo e' uma instancia de Carrying Processo e' um agente de Agente Cognitivo Processo termina em Objeto Processo tem como origem Objeto

consequent

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

Hotel.kif 2383-2390

Porter e' um atributo de Objeto
Objeto tem por fim Entidade Entidade Entidade e' uma instancia de TravelContainer Entidade e' uma instancia de Carrying Entidade e' um agente de Objeto

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