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


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 28044-28049
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28017-28021
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 24336-24349
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24746-24758
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 9500-9516
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29412-29423
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 8102-8113
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 23856-23866
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 23884-23897

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