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 16173-16174
s__instance(s__AlethicAttribute,s__SetOrClass)

s__instance(s__Possibility,s__AlethicAttribute)

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

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


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

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

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

domainEnglishFormat.kif 46704-46704

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16180-16182 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 27611-27616
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27584-27588
No TPTP formula. May not be expressible in strict first order. Dining.kif 1154-1171
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23677-23690
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24160-24172
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 498-514
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1470-1483
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 784-805
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4352-4369
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3897-3911
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3913-3927
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2481-2499
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. Transportation.kif 1738-1748
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23208-23218
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 6718-6730
No TPTP formula. May not be expressible in strict first order. Geography.kif 6690-6701
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23236-23249
No TPTP formula. May not be expressible in strict first order. Hotel.kif 455-466
No TPTP formula. May not be expressible in strict first order. Catalog.kif 108-118
No TPTP formula. May not be expressible in strict first order. Catalog.kif 51-62

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners