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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 17274-17280
No TPTP formula. May not be expressible in strict first order. Merge.kif 17272-17272 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 17273-17273 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 17268-17268 modal attribute is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17267-17267 modal attribute is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 17269-17269 modal attribute is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17270-17270 modal attribute is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17271-17271 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. french_format.kif 353-353
No TPTP formula. May not be expressible in strict first order. relations-it.txt 192-192
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2100-2100
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 305-305
No TPTP formula. May not be expressible in strict first order. relations-de.txt 775-775
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 230-230
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 375-375
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 393-393
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38211-38211
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 38210-38210
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38209-38209

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13822-13829 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 17386-17388 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 17449-17451 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 17485-17487 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 772-795
No TPTP formula. May not be expressible in strict first order. Medicine.kif 44-59
No TPTP formula. May not be expressible in strict first order. Merge.kif 17282-17286
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13786-13791
No TPTP formula. May not be expressible in strict first order. Merge.kif 17499-17501
No TPTP formula. May not be expressible in strict first order. Merge.kif 17390-17392
No TPTP formula. May not be expressible in strict first order. Merge.kif 17453-17455
No TPTP formula. May not be expressible in strict first order. Merge.kif 17288-17290
No TPTP formula. May not be expressible in strict first order. Merge.kif 17507-17509

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13822-13829 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 17386-17388 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 17449-17451 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 17485-17487 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 14051-14061
No TPTP formula. May not be expressible in strict first order. Music.kif 316-322
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6203-6216
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29375-29380
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29348-29352
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5824-5834
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 204-223
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3984-4004
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 134-143
No TPTP formula. May not be expressible in strict first order. Dining.kif 1207-1224
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25680-25693
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26091-26103
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 153-172
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 18416-18421
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13508-13517
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13519-13530
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13458-13469
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13538-13547
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13549-13558
No TPTP formula. May not be expressible in strict first order. Merge.kif 18399-18404

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. Medicine.kif 3170-3170 The statement ADA has the modal force of law
No TPTP formula. May not be expressible in strict first order. Government.kif 2407-2407 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 2405-2405 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 2402-2402 The statement immigration and nationality act-US has the modal force of law


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