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

Formal Language: 



KB Term:  Term intersection
English Word: 

  modalAttribute

Sigma KEE - modalAttribute
modalAttribute

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3857-3861
No TPTP formula. May not be expressible in strict first order. Merge.kif 17051-17057
No TPTP formula. May not be expressible in strict first order. Merge.kif 17049-17049 The number 1 argument of modal attribute is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 17050-17050 The number 2 argument of modal attribute is an instance of normative attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17045-17045 modal attribute is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17044-17044 modal attribute is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 17046-17046 modal attribute is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17047-17047 modal attribute is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17048-17048 modal attribute is a subrelation of property

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 590-590
No TPTP formula. May not be expressible in strict first order. english_format.kif 594-594
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38184-38184
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 591-591
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38183-38183
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38182-38182

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13369-13376 The statement a formula has the modal force of legal if and only if there doesn't exist another formula such that the statement the other formula has the modal force of law and the other formula is not a consistent of the formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 17163-17165 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. Merge.kif 17226-17228 The statement a formula has the modal force of obligation if and only if the statement the formula doesn't have the modal force of permission
No TPTP formula. May not be expressible in strict first order. Merge.kif 17262-17264 The statement a formula has the modal force of prohibition if and only if the statement the formula doesn't have the modal force of permission
No TPTP formula. May not be expressible in strict first order. Dining.kif 725-748
No TPTP formula. May not be expressible in strict first order. Merge.kif 17059-17063
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13333-13338
No TPTP formula. May not be expressible in strict first order. Merge.kif 17276-17278
No TPTP formula. May not be expressible in strict first order. Merge.kif 17167-17169
No TPTP formula. May not be expressible in strict first order. Merge.kif 17230-17232
No TPTP formula. May not be expressible in strict first order. Merge.kif 17065-17067
No TPTP formula. May not be expressible in strict first order. Merge.kif 17284-17286

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13369-13376 The statement a formula has the modal force of legal if and only if there doesn't exist another formula such that the statement the other formula has the modal force of law and the other formula is not a consistent of the formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 17163-17165 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. Merge.kif 17226-17228 The statement a formula has the modal force of obligation if and only if the statement the formula doesn't have the modal force of permission
No TPTP formula. May not be expressible in strict first order. Merge.kif 17262-17264 The statement a formula has the modal force of prohibition if and only if the statement the formula doesn't have the modal force of permission
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13598-13608
No TPTP formula. May not be expressible in strict first order. Music.kif 315-321
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5938-5951
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28940-28945
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28913-28917
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 193-212
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 125-134
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 25232-25245
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25643-25655
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 522-538
No TPTP formula. May not be expressible in strict first order. Merge.kif 18179-18184
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13055-13064
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13066-13077
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13005-13016
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13085-13094
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13096-13105
No TPTP formula. May not be expressible in strict first order. Merge.kif 18162-18167
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13024-13033
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13035-13046

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2404-2404 The statement antiterrorism and effective death penalty act has the modal force of law
No TPTP formula. May not be expressible in strict first order. Government.kif 2402-2402 The statement immigration and nationality act- section219-US has the modal force of law
No TPTP formula. May not be expressible in strict first order. Government.kif 2399-2399 The statement immigration and nationality act-US has the modal force of law


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