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 12175-12176
No TPTP formula. May not be expressible in strict first order. Merge.kif 12174-12174 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 12200-12200 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
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 4287-4299
No TPTP formula. May not be expressible in strict first order. Cars.kif 4301-4314
No TPTP formula. May not be expressible in strict first order. Merge.kif 12178-12188
No TPTP formula. May not be expressible in strict first order. Merge.kif 12190-12198

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9561-9574
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 102-121
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20022-20029
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7054-7062
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3988-3994
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1212-1222
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4318-4320
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5427-5429
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15507-15514
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2262-2273
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3893-3907
No TPTP formula. May not be expressible in strict first order. Cars.kif 4275-4285
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3926-3938


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