Valet - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Valet

Valet

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 128-129
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 127-127	Valet e' uma sub-classe de ServicePosition

appearance as argument number 2

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

TransportDetail.kif 130-130

antecedent

No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 136-145	Valet e' um atributo de Objeto Objeto tem por fim Entidade e' uma instancia de Vehicle Entidade e' uma instancia de Colocar Entidade termina em Entidade Entidade e' uma instancia de ParkingRegion Entidade e' um patient de Entidade Entidade e' um agente de Objeto
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 132-134	Valet e' um atributo de Humano occupation Humano and OccupationFn Dirigir

consequent

No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 157-176	Organizacao e' capaz de fazer ValetParking no role agent customer Agente Cognitivo and Organizacao Organizacao e' situado em Objeto Processo e' uma instancia de Arriving Processo e' um agente de Agente Cognitivo Entidade e' um patient de Processo Processo termina em Objeto Humano Humano ocupa a posicao de Valet Organizacao o argumento Entidade Entidade Entidade e' uma instancia de ValetParking Entidade e' um agente de Humano Entidade e' um patient de Entidade Entidade termina em Entidade Entidade e' uma instancia de ParkingRegion tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 152-155	Organizacao e' capaz de fazer ValetParking no role agent Humano Humano ocupa a posicao de Valet Organizacao

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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