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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - contraryAttribute
contraryAttribute

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1504-1506
No TPTP formula. May not be expressible in strict first order. Merge.kif 459-462
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 68-70
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 78-81
No TPTP formula. May not be expressible in strict first order. Merge.kif 457-457 相反的屬性, 1 and Attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 455-455 相反的屬性 and Predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 456-456 相反的屬性 and VariableArityRelation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 283-283
No TPTP formula. May not be expressible in strict first order. english_format.kif 288-288
No TPTP formula. May not be expressible in strict first order. french_format.kif 164-164
No TPTP formula. May not be expressible in strict first order. relations-it.txt 58-58
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1984-1984
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 116-116
No TPTP formula. May not be expressible in strict first order. relations-de.txt 367-367
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 99-99
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 184-184
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 171-171
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 92-92
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 284-284
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17010-17010
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17009-17009
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17008-17008
No TPTP formula. May not be expressible in strict first order. terms-de.txt 114-114
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 133-133

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 476-484
No TPTP formula. May not be expressible in strict first order. Merge.kif 470-474
No TPTP formula. May not be expressible in strict first order. Merge.kif 14979-14990
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2332-2343
No TPTP formula. May not be expressible in strict first order. Merge.kif 16921-16929
No TPTP formula. May not be expressible in strict first order. Merge.kif 464-468

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 470-474
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18143-18145

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17073-17073 相反的屬性 以上 and 下面
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4475-4475 相反的屬性 AccountDeactivated and AccountActive
No TPTP formula. May not be expressible in strict first order. Food.kif 2803-2803 相反的屬性 AcidicPH and BasicPH
No TPTP formula. May not be expressible in strict first order. emotion.kif 522-522 相反的屬性 AppraisalAsBeingDisliked and AppraisalAsBeingLiked
No TPTP formula. May not be expressible in strict first order. Merge.kif 13607-13607 相反的屬性 聽得見 and Inaudible
No TPTP formula. May not be expressible in strict first order. Government.kif 336-336 相反的屬性 威權政權 and 多黨民主
No TPTP formula. May not be expressible in strict first order. Transportation.kif 391-391 相反的屬性 寬規, 標準規, 窄規 and 雙軌鐵路
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22232-22232 相反的屬性 平民 and 軍人
No TPTP formula. May not be expressible in strict first order. Cars.kif 4960-4960 相反的屬性 Clockwise and CounterClockwise
No TPTP formula. May not be expressible in strict first order. engineering.kif 675-675 相反的屬性 電導率 and 抵抗力
No TPTP formula. May not be expressible in strict first order. Medicine.kif 435-435 相反的屬性 Conscious and Unconscious
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1638-1638 相反的屬性 容器滿了 and 空容器
No TPTP formula. May not be expressible in strict first order. Merge.kif 18093-18093 相反的屬性 and 活的
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29438-29438 相反的屬性 DeviceDamaged and DeviceNormal
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3644-3644 相反的屬性 設備上 and 設備關閉
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3645-3645 相反的屬性 設備打開 and 設備關閉
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25572-25572 相反的屬性 Dirty and Clean
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8656-8656 相反的屬性 下藥 and 清醒
No TPTP formula. May not be expressible in strict first order. Merge.kif 17991-17991 相反的屬性 and 潮濕
No TPTP formula. May not be expressible in strict first order. Merge.kif 18190-18190 相反的屬性 胚胎 and 幼蟲
No TPTP formula. May not be expressible in strict first order. Merge.kif 16985-16985 相反的屬性 and 真正
No TPTP formula. May not be expressible in strict first order. Government.kif 285-285 相反的屬性 聯邦政府 and 威權政權
No TPTP formula. May not be expressible in strict first order. Government.kif 284-284 相反的屬性 聯邦政府 and 統一規則
No TPTP formula. May not be expressible in strict first order. emotion.kif 1849-1849 相反的屬性 FeelingAlert and FeelingTired
No TPTP formula. May not be expressible in strict first order. emotion.kif 1782-1782 相反的屬性 FeelingAtEase and FeelingRestless

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 3.0 is open source software produced by Articulate Software and its partners