TreeView Knowledge Base Browser - Keeping

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Keeping

Keeping(garder)

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 12197-12198
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12196-12196	Garder est une sous-classe de processus intentionnel

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12222-12222	Confiner est une sous-classe de garder
No TPTP formula. May not be expressible in strict first order.	Food.kif 184-184	PreservingFood est une sous-classe de garder
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 4295-4307	Objet est une instance de Reel processus est une instance de garder objet est une instance de objet corpusculaire LongAndThin est un attribut de objet Pliable est un attribut de objet objet est un instrument pour processus objet est un patient de processus objet objet est une partie de objet objet rencontre objet
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4309-4322	Objet est une instance de Reel processus est une instance de garder objet est une instance de objet corpusculaire LongAndThin est un attribut de objet Pliable est un attribut de objet objet est un instrument pour processus objet est un patient de processus processus processus est une instance de Rotating objet est un patient de processus processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12200-12210	Processus est une instance de garder processus est un agent de AutonomousAgent entit� est un patient de processus processus processus est une instance de mettre processus est un agent de AutonomousAgent entit� est un patient de processus temps d'existence de processus arrive plus t�t que temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12212-12220	Processus est une instance de garder entit� est un patient de processus entit� position temporel position temporel est une partie de temps d'existence de processus entit� est situ� � entit� pendant position temporel

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9560-9573	Objet est une instance de plante objet est une partie de objet processus entit� and processus processus est une instance de processus processus est une sous-classe de garder entit� est une instance de FreshWater entit� est un patient de processus objet est capable de faire processus dans le r�le instrument objet est une instance de PlantLeaf objet est une instance de PlantStem
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 102-121	Agent cognitif poss�de objet agent cognitif est une instance de CommercialAgent objet est une instance de ParkingLot objet est une instance de immeuble agent cognitif est situ� � objet customer agent cognitif and AutonomousAgent AutonomousAgent est situ� � objet pendant position temporel processus est une instance de conduire entit� est un patient de processus processus est un agent de AutonomousAgent processus aboutit � objet agent cognitif autorise AutonomousAgent � ex�cut� des t�ches du type entit� est une instance de garder entit� aboutit � objet entit� est un patient de entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20021-20028	Entit� est une instance de DomesticAnimal processus AutonomousAgent processus est une instance de garder processus est un agent de AutonomousAgent AutonomousAgent est une instance de humain entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7053-7061	Physique est une instance de Warehouse physique a pour but entit� entit� entit� est une instance de garder entit� est un patient de entit� entit� est une instance de produit eventLocated entit� and physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3988-3994	Physique est une instance de ContainerChest physique a pour but entit� entit� est une instance de garder physique est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1212-1222	AutonomousAgent est une instance de CartridgeCase objet objet and processus objet est une instance de BulletCartridge objet est une instance de Bullet processus est une instance de garder AutonomousAgent est une partie de objet objet est une partie de objet processus est un agent de AutonomousAgent objet est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4318-4320	Objet est une instance de Holder objet est capable de faire garder dans le r�le instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5426-5428	Objet est une instance de Pocket objet est capable de faire garder dans le r�le instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15506-15513	Physique est une instance de Closet physique a pour but entit� entit� entit� est une instance de garder entit� est un patient de entit� entit� est situ� � physique
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2262-2273	ServiceProcess est une instance de SafetyDepositService objet processus, objet and agent cognitif serviceProvider ServiceProcess and agent cognitif objet est une instance de SafeContainer processus est une instance de garder processus est situ� � objet agent cognitif poss�de objet objet est un patient de processus processus est un sous-processus de ServiceProcess agent cognitif ne poss�de %n{pas} objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3893-3907	Objet est une instance de MurphyBed objet objet est une instance de Compartment objet rencontre objet objet a pour but entit� entit� est une instance de garder objet est un patient de entit� entit� aboutit � objet Vertical est un attribut de objet pendant temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4283-4293	Physique est une instance de Reel physique a pour but entit� entit� entit� est une instance de garder entit� est une instance de objet corpusculaire LongAndThin est un attribut de entit� Pliable est un attribut de entit� physique est un instrument pour entit� entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3926-3938	Entit� est une instance de SofaBed objet objet objet est une instance de Compartment objet est une partie de objet objet est une instance de Sofa objet a pour but entit� entit� est une instance de garder entit� est un patient de entit� entit� aboutit � objet

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