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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Possibility
Possibility(possibility)avertable, avertible, avoidable, conceivably, contingent, evitable, impossible, insurmountable, latent, possible, potential, unachievable, unattainable, undoable, unrealizable, unsurmountable, unthinkable

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3889-3890
No TPTP formula. May not be expressible in strict first order. Merge.kif 16801-16802
No TPTP formula. May not be expressible in strict first order. Merge.kif 16800-16800 Possibility is an instance of alethic attribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46791-46791
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46790-46790
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46789-46789

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16808-16810 The statement a formula has the modal force of necessity if and only if the statement the formula doesn't have the modal force of possibility
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28796-28801
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28769-28773
No TPTP formula. May not be expressible in strict first order. Dining.kif 1160-1177
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25087-25100
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25498-25510
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 153-171
No TPTP formula. May not be expressible in strict first order. Hotel.kif 502-518
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1497-1510
No TPTP formula. May not be expressible in strict first order. Dining.kif 332-346
No TPTP formula. May not be expressible in strict first order. Hotel.kif 790-811
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4391-4408
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10059-10075
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30165-30176
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3936-3950
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3952-3966
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8201-8212
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2508-2526
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1774-1784
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1756-1766
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24609-24619
No TPTP formula. May not be expressible in strict first order. Media.kif 768-788
No TPTP formula. May not be expressible in strict first order. Geography.kif 6977-6989
No TPTP formula. May not be expressible in strict first order. Geography.kif 6949-6960
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24637-24650

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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