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


s__documentation(s__Possibility,s__ChineseLanguage,'"这是指应用于有可能出现 Proposition 的属性,即是 它起码会在一个世界上实现。"')

chinese_format.kif 3889-3890
s__documentation(s__Possibility,s__EnglishLanguage,'"Attribute that applies to Propositions that are possible, i.e. true in at least one possible world."')

Merge.kif 16600-16601
s__instance(s__AlethicAttribute,s__SetOrClass)

s__instance(s__Possibility,s__AlethicAttribute)

Merge.kif 16599-16599 Possibility is an instance of alethic attribute

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


s__termFormat(s__ChineseLanguage,s__Possibility,'"可能性"')

domainEnglishFormat.kif 46791-46791
s__termFormat(s__ChineseTraditionalLanguage,s__Possibility,'"可能性"')

domainEnglishFormat.kif 46790-46790
s__termFormat(s__EnglishLanguage,s__Possibility,'"possibility"')

domainEnglishFormat.kif 46789-46789

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16607-16609 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 28145-28150
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28118-28122
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 24437-24450
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24847-24859
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 1484-1497
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 4398-4415
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9585-9601
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29513-29524
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3943-3957
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3959-3973
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8115-8126
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2495-2513
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 23957-23967
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 6910-6922
No TPTP formula. May not be expressible in strict first order. Geography.kif 6882-6893
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23985-23998

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