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

Formal Language: 



KB Term:  Term intersection
English Word: 

  subclass

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 131-133
No TPTP formula. May not be expressible in strict first order. Merge.kif 129-129 子類, 1 and Class
No TPTP formula. May not be expressible in strict first order. Merge.kif 130-130 子類, 2 and Class
No TPTP formula. May not be expressible in strict first order. Merge.kif 127-127 子類 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 128-128 子類 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 324-324
No TPTP formula. May not be expressible in strict first order. Merge.kif 5163-5163 子關係 子集 and 子類
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55683-55683
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 55682-55682
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55681-55681

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1164-1179
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 964-968
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 2871-2877
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 484-500
No TPTP formula. May not be expressible in strict first order. Hotel.kif 502-518
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12986-12997
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12955-12966
No TPTP formula. May not be expressible in strict first order. WMD.kif 945-949
No TPTP formula. May not be expressible in strict first order. WMD.kif 951-955
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 17725-17729
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17731-17740
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 790-811
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. Mid-level-ontology.kif 30726-30733
No TPTP formula. May not be expressible in strict first order. Merge.kif 219-225
No TPTP formula. May not be expressible in strict first order. Merge.kif 2905-2910
No TPTP formula. May not be expressible in strict first order. Merge.kif 242-248
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 12285-12289
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16297-16301
No TPTP formula. May not be expressible in strict first order. Merge.kif 3284-3288
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29380-29410
No TPTP formula. May not be expressible in strict first order. Merge.kif 322-328
No TPTP formula. May not be expressible in strict first order. Merge.kif 337-341
No TPTP formula. May not be expressible in strict first order. Merge.kif 349-355
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20326-20333
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 14705-14709
No TPTP formula. May not be expressible in strict first order. WMD.kif 1273-1275
No TPTP formula. May not be expressible in strict first order. WMD.kif 1300-1302
No TPTP formula. May not be expressible in strict first order. Merge.kif 2850-2855
No TPTP formula. May not be expressible in strict first order. Geography.kif 6518-6520
No TPTP formula. May not be expressible in strict first order. Merge.kif 1694-1703
No TPTP formula. May not be expressible in strict first order. Media.kif 3185-3187

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 5112-5115 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 1367-1367 子類 球孢子菌 posadasiibiological agent and 危及生命的特工
No TPTP formula. May not be expressible in strict first order. WMD.kif 1360-1360 子類 球孢子菌絲蟲biological agent and 危及生命的特工
No TPTP formula. May not be expressible in strict first order. WMD.kif 1584-1584 子類 瘧疾瘧原蟲biological agent and 生物製劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1355-1355 子類 serratia marcenscensbiological agent and 危及生命的特工
No TPTP formula. May not be expressible in strict first order. WMD.kif 1988-1988 子類 蜱傳腦炎病毒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 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