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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Possibility

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 17162-17163
No TPTP formula. May not be expressible in strict first order. Merge.kif 17161-17161 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 17169-17171 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 28848-28853
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28821-28825
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 25139-25152
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25550-25562
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. 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 10089-10105
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30217-30228
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 8231-8242
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 24661-24671
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 simplified definition (without tree view)
Show simplified definition (with tree view)

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