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 17156-17157
No TPTP formula. May not be expressible in strict first order. Merge.kif 17155-17155 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 17163-17165 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 28940-28945
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28913-28917
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 25232-25245
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25643-25655
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 522-538
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1522-1535
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 811-832
No TPTP formula. May not be expressible in strict first order. Government.kif 223-234
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4390-4407
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10135-10151
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30319-30330
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3935-3949
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3951-3965
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8273-8284
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2535-2553
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1766-1776
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1748-1758
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24754-24764
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 7068-7080
No TPTP formula. May not be expressible in strict first order. Geography.kif 7040-7051

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