Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Keeping
Keeping(keeping)arrest, at_bay, backlog, bank, bar, bastioned, battlemented, bolt, bower, box_in, box_up, brick_in, brick_over, brick_up, bring_up, cache, cage, cage_in, captive, carry, carry_over, check, circumscribe, close, cold_storage, commissariat, confine, confined, conserve, containment, cornered, corral, demurrage, deposit, deposition, domesticate, domesticise, domesticize, embank, embower, encircle, enclose, eye_bank, filing, fortified, frame, free, free-range, fuel_level, fund...

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 12325-12326
No TPTP formula. May not be expressible in strict first order. Merge.kif 12324-12324 Keeping is a subclass of intentional process

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 12350-12350 Confining is a subclass of keeping
No TPTP formula. May not be expressible in strict first order. Food.kif 184-184 Preserving food is a subclass of keeping
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1154-1154 Preserving food is a subclass of keeping
No TPTP formula. May not be expressible in strict first order. english_format.kif 1525-1525 Preserving food is a subclass of keeping
No TPTP formula. May not be expressible in strict first order. french_format.kif 832-832 Preserving food is a subclass of keeping
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 364-364 Preserving food is a subclass of keeping
No TPTP formula. May not be expressible in strict first order. terms-it.txt 367-367 Preserving food is a subclass of keeping
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2516-2516 Preserving food is a subclass of keeping
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 784-784 Preserving food is a subclass of keeping
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 369-369 Preserving food is a subclass of keeping
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 403-403 Preserving food is a subclass of keeping
No TPTP formula. May not be expressible in strict first order. terms-de.txt 662-662 Preserving food is a subclass of keeping
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 853-853 Preserving food is a subclass of keeping
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 368-368 Preserving food is a subclass of keeping

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 4348-4360
No TPTP formula. May not be expressible in strict first order. Cars.kif 4362-4375
No TPTP formula. May not be expressible in strict first order. Merge.kif 12328-12338
No TPTP formula. May not be expressible in strict first order. Merge.kif 12340-12348

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10890-10903
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 106-125
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1282-1290
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21609-21616
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8215-8223
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4431-4437
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1278-1288
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4761-4763
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6364-6366
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16880-16887
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2273-2284
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4336-4350
No TPTP formula. May not be expressible in strict first order. Cars.kif 4336-4346
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4369-4381


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