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. Merge.kif 131-131 The number 1 argument of subclass is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 132-132 The number 2 argument of subclass is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 129-129 subclass is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 130-130 subclass is an instance of partial ordering relation

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 5318-5318 subset is a subrelation of subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55690-55690
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 55689-55689
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55688-55688

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 500-510
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 13407-13418
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13376-13387
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 2123-2132
No TPTP formula. May not be expressible in strict first order. Economy.kif 2167-2176
No TPTP formula. May not be expressible in strict first order. Economy.kif 2213-2222
No TPTP formula. May not be expressible in strict first order. Economy.kif 1991-2000
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 18196-18201
No TPTP formula. May not be expressible in strict first order. Economy.kif 2288-2297
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. Hotel.kif 1478-1491
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 2961-2966
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 1736-1744
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 9531-9544
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16761-16765
No TPTP formula. May not be expressible in strict first order. Merge.kif 3347-3351
No TPTP formula. May not be expressible in strict first order. Sports.kif 1039-1047
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4675-4688
No TPTP formula. May not be expressible in strict first order. Merge.kif 324-330
No TPTP formula. May not be expressible in strict first order. Merge.kif 339-343
No TPTP formula. May not be expressible in strict first order. Merge.kif 351-357
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20831-20838
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20884-20896
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20861-20875
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 1322-1326
No TPTP formula. May not be expressible in strict first order. WMD.kif 1288-1290
No TPTP formula. May not be expressible in strict first order. WMD.kif 1315-1317

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 The fit for military service male of a geopolitical area is equal to the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order. Cars.kif 5112-5115 There exists a kind of object such that a kind of object is a subclass of tool box and the maker of the kind of object is Sortimo Corporation

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1170-1170 Air-to-air missile is a subclass of air attack missile
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1169-1169 Air-to-air missile is a subclass of air launch missile
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1171-1171 Air-to-air missile is a subclass of guided missile
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1647-1647 Amphibious Assault Vehicle is a subclass of amphibious vehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1646-1646 Amphibious Assault Vehicle is a subclass of military vehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1648-1648 Amphibious Assault Vehicle is a subclass of passenger vehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1649-1649 Amphibious Assault Vehicle is a subclass of powered vehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1123-1123 AG m is a subclass of air launch missile
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1124-1124 AG m is a subclass of ground attack missile
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1203-1203 AG m114 is a subclass of AG m
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1205-1205 AG m114 is a subclass of anti armor weapon
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1204-1204 AG m114 is a subclass of beam ridingG missile
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1136-1136 AG m65 is a subclass of AG m
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1138-1138 AG m65 is a subclass of anti armor weapon
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1137-1137 AG m65 is a subclass of infra redG missile
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1889-1889 A h1 is a subclass of helicopter
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1890-1890 A h1 is a subclass of military vehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1177-1177 AI m9 is a subclass of air-to-air missile
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1178-1178 AI m9 is a subclass of infra redG missile
No TPTP formula. May not be expressible in strict first order. Communications.kif 293-293 AM radio station is a subclass of radio station
No TPTP formula. May not be expressible in strict first order. Communications.kif 236-236 AM radio system is a subclass of radio system
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3168-3168 AOC number is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1575-1575 APC is a subclass of armored vehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1573-1573 APC is a subclass of land vehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1571-1571 APC is a subclass of military vehicle

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