Keeping - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Keeping

Keeping(Manter)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3141-3142
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12221-12222
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12220-12220	Manter e' uma sub-classe de Processo Intencional

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12246-12246	Confinar e' uma sub-classe de Manter
No TPTP formula. May not be expressible in strict first order.	Food.kif 184-184	PreservingFood e' uma sub-classe de Manter
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1154-1154
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1525-1525
No TPTP formula. May not be expressible in strict first order.	french_format.kif 832-832
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 364-364
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 367-367
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2516-2516
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 784-784
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 369-369
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 403-403
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 853-853
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 368-368

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 4272-4284	Objeto e' uma instancia de Reel Processo e' uma instancia de Manter Objeto e' uma instancia de Objeto Corpuscular LongAndThin e' um atributo de Objeto Pliable e' um atributo de Objeto Objeto e' um instrumento para Processo Objeto e' um patient de Processo Objeto Objeto e' uma &parte de Objeto Objeto encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4286-4299	Objeto e' uma instancia de Reel Processo e' uma instancia de Manter Objeto e' uma instancia de Objeto Corpuscular LongAndThin e' um atributo de Objeto Pliable e' um atributo de Objeto Objeto e' um instrumento para Processo Objeto e' um patient de Processo Processo Processo e' uma instancia de Rotating Objeto e' um patient de Processo Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12224-12234	Processo e' uma instancia de Manter Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Processo Processo e' uma instancia de Colocar Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo tempo de existencia de Processo acontence antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12236-12244	Processo e' uma instancia de Manter Entidade e' um patient de Processo Entidade Posicao Temporal Posicao Temporal e' uma &parte de tempo de existencia de Processo Entidade e' situado em Entidade vale durante Posicao Temporal

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9588-9601	Objeto e' uma instancia de Planta Objeto e' uma &parte de Objeto Processo Entidade and Processo Processo e' uma instancia de Processo Processo e' uma sub-classe de Manter Entidade e' uma instancia de FreshWater Entidade e' um patient de Processo Objeto e' capaz de fazer Processo no role instrument Objeto e' uma instancia de PlantLeaf Objeto e' uma instancia de PlantStem
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 106-125	Agente Cognitivo possui Objeto Agente Cognitivo e' uma instancia de CommercialAgent Objeto e' uma instancia de ParkingLot Objeto e' uma instancia de Predio Agente Cognitivo e' situado em Objeto customer Agente Cognitivo and AutonomousAgent AutonomousAgent e' situado em Objeto vale durante Posicao Temporal Processo e' uma instancia de Dirigir Entidade e' um patient de Processo Processo e' um agente de AutonomousAgent Processo termina em Objeto Agente Cognitivo autoriza AutonomousAgent a executar tarefas de tipo Entidade e' uma instancia de Manter Entidade termina em Objeto Entidade e' um patient de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20049-20056	Entidade e' uma instancia de DomesticAnimal Processo AutonomousAgent Processo e' uma instancia de Manter Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de Humano Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7081-7089	Fisico e' uma instancia de Warehouse Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Manter Entidade e' um patient de Entidade Entidade e' uma instancia de Produto eventLocated Entidade and Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3981-3987	Fisico e' uma instancia de ContainerChest Fisico tem por fim Entidade Entidade e' uma instancia de Manter Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1205-1215	AutonomousAgent e' uma instancia de CartridgeCase Objeto Objeto and Processo Objeto e' uma instancia de BulletCartridge Objeto e' uma instancia de Bullet Processo e' uma instancia de Manter AutonomousAgent e' uma &parte de Objeto Objeto e' uma &parte de Objeto Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4311-4313	Objeto e' uma instancia de Holder Objeto e' capaz de fazer Manter no role instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5421-5423	Objeto e' uma instancia de Pocket Objeto e' capaz de fazer Manter no role instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15534-15541	Fisico e' uma instancia de Closet Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Manter Entidade e' um patient de Entidade Entidade e' situado em Fisico
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2262-2273	ServiceProcess e' uma instancia de SafetyDepositService Objeto Processo, Objeto and Agente Cognitivo serviceProvider ServiceProcess and Agente Cognitivo Objeto e' uma instancia de SafeContainer Processo e' uma instancia de Manter Processo e' situado em Objeto Agente Cognitivo possui Objeto Objeto e' um patient de Processo Processo e' um sub-processo de ServiceProcess Agente Cognitivo nao possui %n Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3886-3900	Objeto e' uma instancia de MurphyBed Objeto Objeto e' uma instancia de Compartment Objeto encontra Objeto Objeto tem por fim Entidade Entidade e' uma instancia de Manter Objeto e' um patient de Entidade Entidade termina em Objeto Vertical e' um atributo de Objeto vale durante tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4260-4270	Fisico e' uma instancia de Reel Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Manter Entidade e' uma instancia de Objeto Corpuscular LongAndThin e' um atributo de Entidade Pliable e' um atributo de Entidade Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3919-3931	Entidade e' uma instancia de SofaBed Objeto Objeto Objeto e' uma instancia de Compartment Objeto e' uma &parte de Objeto Objeto e' uma instancia de Sofa Objeto tem por fim Entidade Entidade e' uma instancia de Manter Entidade e' um patient de Entidade Entidade termina em Objeto

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