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 17409-17410
No TPTP formula. May not be expressible in strict first order. Merge.kif 17408-17408 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 46808-46808
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46807-46807
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46806-46806

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17416-17418 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 29458-29463
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29431-29435
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5824-5834
No TPTP formula. May not be expressible in strict first order. Dining.kif 1207-1224
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25748-25761
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26159-26171
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 153-172
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. Medicine.kif 3040-3054
No TPTP formula. May not be expressible in strict first order. Dining.kif 336-350
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 4427-4444
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1545-1555
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10577-10593
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30815-30826
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3972-3986
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3988-4002
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8624-8635
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 25305-25315

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