TreeView Knowledge Base Browser - FoodPickup

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - FoodPickup

FoodPickup

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Dining.kif 605-607
No TPTP formula. May not be expressible in strict first order.	Dining.kif 604-604	FoodPickup e' uma sub-classe de CateringService

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Dining.kif 629-629	DriveThru e' uma sub-classe de FoodPickup
No TPTP formula. May not be expressible in strict first order.	Dining.kif 608-608

antecedent

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

Dining.kif 610-627

Processo e' uma instancia de FoodPickup Processo e' um agente de AutonomousAgent Processo termina em AutonomousAgent Entidade e' um patient de Processo
Entidade e' uma instancia de FoodForFn Humano Objeto Processo and Processo AutonomousAgent e' situado em Objeto Processo e' uma instancia de Translocation Processo e' um agente de AutonomousAgent Processo termina em Objeto Processo e' uma instancia de Obter Processo tem como origem AutonomousAgent Processo termina em AutonomousAgent Entidade e' um patient de Processo

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