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

Formal Language: 



KB Term:  Term intersection
English Word: 

  resourceExhausted

 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 域 resourceExhausted, 1 and Process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2531-2531 域 resourceExhausted, 2 and Object
No TPTP formula. May not be expressible in strict first order. Merge.kif 2533-2533 例 resourceExhausted and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2534-2534 例 resourceExhausted and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2532-2532 例 resourceExhausted and CaseRole
No TPTP formula. May not be expressible in strict first order. Merge.kif 2535-2535 例 resourceExhausted and PartialValuedRelation

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 65930-65930

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