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

Formal Language: 


KB Term:  Term intersection
English Word: 

  RadiatingSound

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 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 18645-18645 subclass is an instance of closed world 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. 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. Mid-level-ontology.kif 22956-22956 sub field is a subrelation of subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55708-55708 sub field is a subrelation of subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 320-320 sub field is a subrelation of subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55707-55707 sub field is a subrelation of subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55706-55706 sub field is a subrelation of subclass
No TPTP formula. May not be expressible in strict first order. terms-de.txt 133-133 sub field is a subrelation of subclass

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 3987-4007
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1194-1209
No TPTP formula. May not be expressible in strict first order. Biography.kif 738-748
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 583-589
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 14886-14897
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14855-14866
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 2352-2361
No TPTP formula. May not be expressible in strict first order. Economy.kif 2396-2405
No TPTP formula. May not be expressible in strict first order. Economy.kif 2442-2451
No TPTP formula. May not be expressible in strict first order. Economy.kif 2220-2229
No TPTP formula. May not be expressible in strict first order. Food.kif 2883-2889
No TPTP formula. May not be expressible in strict first order. Economy.kif 4967-4972
No TPTP formula. May not be expressible in strict first order. Economy.kif 5031-5037
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 19972-19977
No TPTP formula. May not be expressible in strict first order. Economy.kif 5285-5290
No TPTP formula. May not be expressible in strict first order. Economy.kif 4503-4509
No TPTP formula. May not be expressible in strict first order. Economy.kif 4870-4881

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 33334-33341
No TPTP formula. May not be expressible in strict first order. Transportation.kif 4201-4225
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1489-1502
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25885-25895
No TPTP formula. May not be expressible in strict first order. Merge.kif 215-221
No TPTP formula. May not be expressible in strict first order. Merge.kif 3003-3008
No TPTP formula. May not be expressible in strict first order. Merge.kif 238-244
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. Economy.kif 5285-5290
No TPTP formula. May not be expressible in strict first order. Economy.kif 4870-4881
No TPTP formula. May not be expressible in strict first order. Economy.kif 5599-5606
No TPTP formula. May not be expressible in strict first order. Economy.kif 5373-5377
No TPTP formula. May not be expressible in strict first order. Economy.kif 5576-5585
No TPTP formula. May not be expressible in strict first order. Merge.kif 1775-1783
No TPTP formula. May not be expressible in strict first order. Economy.kif 4177-4182
No TPTP formula. May not be expressible in strict first order. Economy.kif 4300-4305
No TPTP formula. May not be expressible in strict first order. Economy.kif 4330-4335
No TPTP formula. May not be expressible in strict first order. Merge.kif 12149-12161
No TPTP formula. May not be expressible in strict first order. Economy.kif 4241-4246
No TPTP formula. May not be expressible in strict first order. Economy.kif 4271-4276
No TPTP formula. May not be expressible in strict first order. Economy.kif 4209-4214
No TPTP formula. May not be expressible in strict first order. Economy.kif 4285-4290
No TPTP formula. May not be expressible in strict first order. Economy.kif 5827-5835
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19655-19663
No TPTP formula. May not be expressible in strict first order. Cars.kif 3508-3537

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 963-974 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 5170-5173 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 1327-1327 Air-to-air missile is a subclass of air attack missile
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1326-1326 Air-to-air missile is a subclass of air launch missile
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1328-1328 Air-to-air missile is a subclass of guided missile
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1804-1804 Amphibious Assault Vehicle is a subclass of amphibious vehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1803-1803 Amphibious Assault Vehicle is a subclass of military vehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1805-1805 Amphibious Assault Vehicle is a subclass of passenger vehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1806-1806 Amphibious Assault Vehicle is a subclass of powered vehicle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 778-778 A branch of dorsal primary division of suboccipital nerve is a subclass of nerve
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28256-28256 Ac power source is a subclass of power source
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3294-3294 Attention deficit hyperactivity disorder is a subclass of psychological dysfunction
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1280-1280 AG m is a subclass of air launch missile
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1281-1281 AG m is a subclass of ground attack missile
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1360-1360 AG m114 is a subclass of AG m
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1362-1362 AG m114 is a subclass of anti armor weapon
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1361-1361 AG m114 is a subclass of beam ridingG missile
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1293-1293 AG m65 is a subclass of AG m
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1295-1295 AG m65 is a subclass of anti armor weapon
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1294-1294 AG m65 is a subclass of infra redG missile
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2046-2046 A h1 is a subclass of helicopter
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2047-2047 A h1 is a subclass of military vehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1334-1334 AI m9 is a subclass of air-to-air missile
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1335-1335 AI m9 is a subclass of infra redG missile
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2287-2287 M113A4 Armored Medical Evacuation Vehicle is a subclass of ambulance
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2286-2286 M113A4 Armored Medical Evacuation Vehicle is a subclass of land vehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2285-2285 M113A4 Armored Medical Evacuation Vehicle is a subclass of military vehicle

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