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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - subclass
subclass

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1371-1373
No TPTP formula. May not be expressible in strict first order. Merge.kif 132-134
No TPTP formula. May not be expressible in strict first order. Merge.kif 130-130 子類, 1 and SetOrClass
No TPTP formula. May not be expressible in strict first order. Merge.kif 131-131 子類, 2 and SetOrClass
No TPTP formula. May not be expressible in strict first order. Merge.kif 128-128 子類 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 129-129 子類 and PartialOrderingRelation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 319-319
No TPTP formula. May not be expressible in strict first order. english_format.kif 327-327
No TPTP formula. May not be expressible in strict first order. Merge.kif 5114-5114 子關係 子集 and 子類
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55628-55628
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 320-320
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55627-55627
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55626-55626

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1140-1152
No TPTP formula. May not be expressible in strict first order. Media.kif 1853-1857
No TPTP formula. May not be expressible in strict first order. WMD.kif 784-788
No TPTP formula. May not be expressible in strict first order. WMD.kif 931-935
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 48-56
No TPTP formula. May not be expressible in strict first order. Media.kif 2859-2865
No TPTP formula. May not be expressible in strict first order. Government.kif 606-612
No TPTP formula. May not be expressible in strict first order. Hotel.kif 480-496
No TPTP formula. May not be expressible in strict first order. Hotel.kif 498-514
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11174-11185
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11145-11156
No TPTP formula. May not be expressible in strict first order. WMD.kif 912-916
No TPTP formula. May not be expressible in strict first order. WMD.kif 918-922
No TPTP formula. May not be expressible in strict first order. Economy.kif 2116-2125
No TPTP formula. May not be expressible in strict first order. Economy.kif 2160-2169
No TPTP formula. May not be expressible in strict first order. Economy.kif 2206-2215
No TPTP formula. May not be expressible in strict first order. Economy.kif 1984-1993
No TPTP formula. May not be expressible in strict first order. Media.kif 195-200
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16094-16098
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16100-16109
No TPTP formula. May not be expressible in strict first order. Economy.kif 2281-2290
No TPTP formula. May not be expressible in strict first order. Hotel.kif 334-349
No TPTP formula. May not be expressible in strict first order. Hotel.kif 351-365
No TPTP formula. May not be expressible in strict first order. Hotel.kif 784-805
No TPTP formula. May not be expressible in strict first order. Hotel.kif 289-308

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 794-796 SetOrClass and Class 子類 SetOrClass and Entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 220-226
No TPTP formula. May not be expressible in strict first order. Merge.kif 2899-2904
No TPTP formula. May not be expressible in strict first order. Merge.kif 243-249
No TPTP formula. May not be expressible in strict first order. Media.kif 195-200
No TPTP formula. May not be expressible in strict first order. Dining.kif 215-219
No TPTP formula. May not be expressible in strict first order. Dining.kif 204-208
No TPTP formula. May not be expressible in strict first order. Dining.kif 178-182
No TPTP formula. May not be expressible in strict first order. Dining.kif 225-229
No TPTP formula. May not be expressible in strict first order. Merge.kif 11929-11933
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14488-14492
No TPTP formula. May not be expressible in strict first order. Merge.kif 3274-3278
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28228-28257
No TPTP formula. May not be expressible in strict first order. Merge.kif 323-329
No TPTP formula. May not be expressible in strict first order. Merge.kif 338-342
No TPTP formula. May not be expressible in strict first order. Merge.kif 350-356
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18748-18755
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 74-78
No TPTP formula. May not be expressible in strict first order. Languages.kif 14683-14687
No TPTP formula. May not be expressible in strict first order. WMD.kif 1206-1208
No TPTP formula. May not be expressible in strict first order. WMD.kif 1233-1235
No TPTP formula. May not be expressible in strict first order. Merge.kif 2844-2849
No TPTP formula. May not be expressible in strict first order. Geography.kif 6352-6354
No TPTP formula. May not be expressible in strict first order. Merge.kif 1689-1698
No TPTP formula. May not be expressible in strict first order. Media.kif 3173-3175

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 5090-5093 Agent 子類 Agent and HandToolBox manufacturer SortimoCorp and Agent

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1300-1300 子類 球孢子菌 posadasiibiological agent and 危及生命的特工
No TPTP formula. May not be expressible in strict first order. WMD.kif 1293-1293 子類 球孢子菌絲蟲biological agent and 危及生命的特工
No TPTP formula. May not be expressible in strict first order. WMD.kif 1479-1479 子類 瘧疾瘧原蟲biological agent and 生物製劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1288-1288 子類 serratia marcenscensbiological agent and 危及生命的特工
No TPTP formula. May not be expressible in strict first order. WMD.kif 1840-1840 子類 蜱傳腦炎病毒biological agent and 危及生命的特工
No TPTP formula. May not be expressible in strict first order. WMD.kif 400-400 子類 鼠疫耶爾森氏菌biological agent and 危及生命的特工
No TPTP formula. May not be expressible in strict first order. Economy.kif 3938-3938 子類 一個 dead 蘋果 and 雜貨生產
No TPTP formula. May not be expressible in strict first order. Economy.kif 3964-3964 子類 一個 dead 鱷梨 and 雜貨生產
No TPTP formula. May not be expressible in strict first order. Economy.kif 3967-3967 子類 一個 dead 香蕉 and 雜貨生產
No TPTP formula. May not be expressible in strict first order. Economy.kif 3935-3935 子類 一個 dead 漿果 and 雜貨生產
No TPTP formula. May not be expressible in strict first order. Economy.kif 3970-3970 子類 一個 dead 麵包果 and 雜貨生產
No TPTP formula. May not be expressible in strict first order. Economy.kif 3843-3843 子類 一個 dead 捲心菜 and 雜貨生產
No TPTP formula. May not be expressible in strict first order. Economy.kif 3876-3876 子類 一個 dead 胡蘿蔔 and 雜貨生產
No TPTP formula. May not be expressible in strict first order. Economy.kif 3896-3896 子類 一個 dead 木薯 and 雜貨生產
No TPTP formula. May not be expressible in strict first order. Economy.kif 3846-3846 子類 一個 dead 菜花 and 雜貨生產
No TPTP formula. May not be expressible in strict first order. Economy.kif 3944-3944 子類 一個 dead 柑橘類水果 and 雜貨生產
No TPTP formula. May not be expressible in strict first order. Economy.kif 3973-3973 子類 一個 dead 椰子 and 雜貨生產
No TPTP formula. May not be expressible in strict first order. Economy.kif 3840-3840 子類 一個 dead 黃瓜 and 雜貨生產
No TPTP formula. May not be expressible in strict first order. Economy.kif 3976-3976 子類 一個 dead 日期水果 and 雜貨生產
No TPTP formula. May not be expressible in strict first order. Economy.kif 4019-4019 子類 一個 dead 食用堅果 and 雜貨生產
No TPTP formula. May not be expressible in strict first order. Economy.kif 3849-3849 子類 一個 dead 茄子 and 雜貨生產
No TPTP formula. May not be expressible in strict first order. Economy.kif 3927-3927 子類 一個 dead 葡萄 and 雜貨生產
No TPTP formula. May not be expressible in strict first order. Economy.kif 4033-4033 子類 一個 dead 花生 and 雜貨生產
No TPTP formula. May not be expressible in strict first order. Economy.kif 3837-3837 子類 一個 dead 綠葉蔬菜 and 雜貨生產
No TPTP formula. May not be expressible in strict first order. Economy.kif 3979-3979 子類 一個 dead 芒果 and 雜貨生產

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