resourceExhausted - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - resourceExhausted

resourceExhausted

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1892-1894
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2525-2528
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 517-520
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2530-2530	The number 1 argument of resource exhausted is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2531-2531	The number 2 argument of resource exhausted is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2533-2533	resource exhausted is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2534-2534	resource exhausted is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2532-2532	resource exhausted is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2535-2535	resource exhausted is an instance of partial valued relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4422-4422
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4421-4421
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4420-4420
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65928-65928

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 2537-2546

If a process exhausts an object and the object is an instance of a class,
then there doesn't exist an entity such that the entity is a part of the object and the entity is an instance of the class holds during immediately after the time of existence of the process

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