Sitting - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Sitting

Sitting

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 4010-4011
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18092-18093
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6862-6862
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7869-7869
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7870-7870
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7871-7871
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7872-7872
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7873-7873
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7874-7874
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18091-18091	Sitting e' uma instancia de BodyPosition

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19901-19901	Squatting e' um sub-atributo de Sitting
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53258-53258
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53257-53257
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53256-53256

consequent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 840-847	Fisico e' uma instancia de BoosterChair AutonomousAgent e' uma instancia de HumanChild Fisico tem finalidade Sitting e' um atributo de AutonomousAgent eventLocated AutonomousAgent and Fisico para AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19864-19874	Processo e' uma instancia de LyingDown Processo e' um agente de AutonomousAgent Sitting e' um atributo de AutonomousAgent vale durante o comeco de tempo de existencia de Processo Prostrate e' um atributo de AutonomousAgent vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 562-572	Processo e' uma instancia de Somersaulting Processo e' um agente de AutonomousAgent Sitting e' um atributo de AutonomousAgent vale durante o comeco de tempo de existencia de Processo Sitting e' um atributo de AutonomousAgent vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19909-19919	Processo e' uma instancia de SittingDown Processo e' um agente de AutonomousAgent Standing e' um atributo de AutonomousAgent vale durante o comeco de tempo de existencia de Processo Sitting e' um atributo de AutonomousAgent vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19926-19936	Processo e' uma instancia de StandingUp Processo e' um agente de AutonomousAgent Sitting e' um atributo de AutonomousAgent vale durante o comeco de tempo de existencia de Processo Standing e' um atributo de AutonomousAgent vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3733-3748	Fisico e' uma instancia de Chair Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Humano Entidade e' uma instancia de Humano Sitting e' um atributo de Entidade Sitting e' um atributo de Entidade Entidade e' situado em Fisico Entidade e' situado em Fisico vale durante Entidade Entidade e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5054-5065	Fisico e' uma instancia de AutomobileSeat Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Humano Entidade e' uma instancia de Automobile Sitting e' um atributo de Entidade Entidade e' situado em Fisico Fisico e' situado em Entidade vale durante Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5070-5081	Fisico e' uma instancia de BoatSeat Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Humano Entidade e' uma instancia de WaterVehicle Sitting e' um atributo de Entidade Entidade e' situado em Fisico Fisico e' situado em Entidade vale durante Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5025-5034	Fisico e' uma instancia de Seat Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Humano Sitting e' um atributo de Entidade Entidade e' situado em Fisico vale durante Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3754-3767	Fisico e' uma instancia de Sofa Fisico tem por fim Entidade Entidade and Entidade Entidade e' igual a Entidade Entidade e' uma instancia de Humano Entidade e' uma instancia de Humano Sitting e' um atributo de Entidade Sitting e' um atributo de Entidade eventLocated Entidade and Fisico eventLocated Entidade and Fisico vale durante Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5037-5048	Fisico e' uma instancia de VehicleSeat Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Humano Entidade e' uma instancia de Vehicle Sitting e' um atributo de Entidade Entidade e' situado em Fisico Fisico e' situado em Entidade vale durante Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3720-3727	Fisico e' uma instancia de Seat Fisico tem por fim Entidade Entidade e' uma instancia de Humano Entidade e' situado em Fisico Sitting e' um atributo de Entidade

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