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 133-135
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 27-29
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 28-30
No TPTP formula. May not be expressible in strict first order. Merge.kif 131-131 子类别 的 1 数量 是 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 132-132 子类别 的 2 数量 是 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 129-129 子类别二元谓语instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 130-130 子类别偏序关系instance

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. french_format.kif 182-182
No TPTP formula. May not be expressible in strict first order. relations-it.txt 271-271
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2002-2002
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 134-134
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 175-175
No TPTP formula. May not be expressible in strict first order. relations-de.txt 419-419
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 308-308
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 202-202
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 192-192
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 463-463
No TPTP formula. May not be expressible in strict first order. Merge.kif 5377-5377 子集子类别subrelation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55725-55725
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 55724-55724
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55723-55723

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1186-1201
No TPTP formula. May not be expressible in strict first order. Biography.kif 730-740
No TPTP formula. May not be expressible in strict first order. WMD.kif 789-793
No TPTP formula. May not be expressible in strict first order. WMD.kif 976-980
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. Government.kif 619-625
No TPTP formula. May not be expressible in strict first order. Hotel.kif 504-520
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. Mid-level-ontology.kif 13417-13428
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13386-13397
No TPTP formula. May not be expressible in strict first order. WMD.kif 957-961
No TPTP formula. May not be expressible in strict first order. WMD.kif 963-967
No TPTP formula. May not be expressible in strict first order. Economy.kif 2128-2137
No TPTP formula. May not be expressible in strict first order. Economy.kif 2172-2181
No TPTP formula. May not be expressible in strict first order. Economy.kif 2218-2227
No TPTP formula. May not be expressible in strict first order. Economy.kif 1996-2005
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 18234-18239
No TPTP formula. May not be expressible in strict first order. Economy.kif 2293-2302
No TPTP formula. May not be expressible in strict first order. Hotel.kif 346-361
No TPTP formula. May not be expressible in strict first order. Hotel.kif 364-378
No TPTP formula. May not be expressible in strict first order. Hotel.kif 811-832
No TPTP formula. May not be expressible in strict first order. Hotel.kif 294-313
No TPTP formula. May not be expressible in strict first order. Media.kif 1900-1904
No TPTP formula. May not be expressible in strict first order. Media.kif 1888-1892

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 31492-31499
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1478-1491
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24312-24322
No TPTP formula. May not be expressible in strict first order. Merge.kif 221-227
No TPTP formula. May not be expressible in strict first order. Merge.kif 2992-2997
No TPTP formula. May not be expressible in strict first order. Merge.kif 244-250
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. Merge.kif 1767-1775
No TPTP formula. May not be expressible in strict first order. Cars.kif 3447-3476
No TPTP formula. May not be expressible in strict first order. Dining.kif 219-223
No TPTP formula. May not be expressible in strict first order. Dining.kif 208-212
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 229-233
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9513-9526
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16775-16779
No TPTP formula. May not be expressible in strict first order. Merge.kif 3379-3383
No TPTP formula. May not be expressible in strict first order. Cars.kif 3389-3417
No TPTP formula. May not be expressible in strict first order. Sports.kif 1039-1046
No TPTP formula. May not be expressible in strict first order. Economy.kif 4665-4673
No TPTP formula. May not be expressible in strict first order. Economy.kif 4678-4686
No TPTP formula. May not be expressible in strict first order. Economy.kif 4691-4699
No TPTP formula. May not be expressible in strict first order. Economy.kif 4824-4832
No TPTP formula. May not be expressible in strict first order. Economy.kif 4704-4713
No TPTP formula. May not be expressible in strict first order. Economy.kif 4837-4846
No TPTP formula. May not be expressible in strict first order. Economy.kif 4651-4660

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. Military.kif 895-906 地缘政治区域fit 对于军服务男性 equal 符号串 所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order. Cars.kif 5109-5112 有存在 有点 客体 这样 有点 客体HandToolBoxsubclassmanufacturer 那个 有点 客体 and SortimoCorp

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1170-1170 AAM空袭导弹subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1169-1169 AAM空中发射导弹subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1171-1171 AAM导弹subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1647-1647 AAV两栖车辆subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1646-1646 AAV军车subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1648-1648 AAV乘用车subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1649-1649 AAV动力车辆subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26453-26453 ACPowerSource能量源subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1123-1123 AG m空中发射导弹subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1124-1124 AG m地面攻击导弹subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1203-1203 AG m114AG msubclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1205-1205 AG m114反装甲武器subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1204-1204 AG m114束骑导弹subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1136-1136 AG m65AG msubclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1138-1138 AG m65反装甲武器subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1137-1137 AG m65红外导弹subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1889-1889 A h1直升机subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1890-1890 A h1军车subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1177-1177 AI m9AAMsubclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1178-1178 AI m9红外导弹subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25631-25631 AMFMAlarmClockAlarmClocksubclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25632-25632 AMFMAlarmClock无线电接收器subclass
No TPTP formula. May not be expressible in strict first order. Communications.kif 293-293 AM广播电台广播电台subclass
No TPTP formula. May not be expressible in strict first order. Communications.kif 236-236 AM无线电系统无线电系统subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3169-3169 AOCnumber符号串subclass

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