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 17304-17310
No TPTP formula. May not be expressible in strict first order. Merge.kif 17302-17302 模態屬性, 1 and Formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 17303-17303 模態屬性, 2 and NormativeAttribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17298-17298 模態屬性 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17297-17297 模態屬性 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 17299-17299 模態屬性 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17300-17300 模態屬性 and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17301-17301 子關係 模態屬性 and 屬性

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 38199-38199
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 38198-38198
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38197-38197

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13850-13857 模態屬性 Formula and 合法 Formula 模態屬性 Formula and Formula Formulaconsistent
No TPTP formula. May not be expressible in strict first order. Merge.kif 17416-17418 模態屬性 Formula and 必要性 模態屬性 Formula and 可能性
No TPTP formula. May not be expressible in strict first order. Merge.kif 17479-17481 模態屬性 Formula and 義務 模態屬性 Formula and 允許
No TPTP formula. May not be expressible in strict first order. Merge.kif 17515-17517 模態屬性 Formula and 禁令 模態屬性 Formula and 允許
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 17312-17316
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13814-13819
No TPTP formula. May not be expressible in strict first order. Merge.kif 17529-17531
No TPTP formula. May not be expressible in strict first order. Merge.kif 17420-17422
No TPTP formula. May not be expressible in strict first order. Merge.kif 17483-17485
No TPTP formula. May not be expressible in strict first order. Merge.kif 17318-17320
No TPTP formula. May not be expressible in strict first order. Merge.kif 17537-17539

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13850-13857 模態屬性 Formula and 合法 Formula 模態屬性 Formula and Formula Formulaconsistent
No TPTP formula. May not be expressible in strict first order. Merge.kif 17416-17418 模態屬性 Formula and 必要性 模態屬性 Formula and 可能性
No TPTP formula. May not be expressible in strict first order. Merge.kif 17479-17481 模態屬性 Formula and 義務 模態屬性 Formula and 允許
No TPTP formula. May not be expressible in strict first order. Merge.kif 17515-17517 模態屬性 Formula and 禁令 模態屬性 Formula and 允許
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14079-14089
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 6231-6244
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29458-29463
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29431-29435
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 25748-25761
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26159-26171
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 18446-18451
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13536-13545
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13547-13558
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13486-13497
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13566-13575
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13577-13586
No TPTP formula. May not be expressible in strict first order. Merge.kif 18429-18434

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 模態屬性 AmericansWithDisabilitiesAct-US and
No TPTP formula. May not be expressible in strict first order. Government.kif 2407-2407 模態屬性 反恐怖主義和有效的死刑法 and
No TPTP formula. May not be expressible in strict first order. Government.kif 2405-2405 模態屬性 移民和國籍法- section219-US and
No TPTP formula. May not be expressible in strict first order. Government.kif 2402-2402 模態屬性 移民和國籍行為 and


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