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 The number 1 argument of subclass is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 130-130 The number 2 argument of subclass is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 127-127 subclass is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 128-128 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 5163-5163 subset is a subrelation of subclass
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 There exists an agent such that the agent is a subclass of tool box and the maker of Sortimo Corporation is the agent

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1367-1367 The biological agent of coccidiodes posadasii is a subclass of life threatening agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1360-1360 The biological agent of coccidioides immitis is a subclass of life threatening agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1584-1584 The biological agent of malarial plasmodium is a subclass of biological agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1355-1355 The biological agent of serratia marcenscens is a subclass of life threatening agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1988-1988 The biological agent of tick borne encephalitis virus is a subclass of life threatening agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 400-400 The biological agent of yersinia pestis is a subclass of life threatening agent
No TPTP formula. May not be expressible in strict first order. Economy.kif 3938-3938 A dead apple is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3964-3964 A dead avocado is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3967-3967 A dead banana is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3935-3935 A dead berry is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3970-3970 A dead breadfruit is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3843-3843 A dead cabbage is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3876-3876 A dead carrot is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3896-3896 A dead cassava is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3846-3846 A dead cauliflower is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3944-3944 A dead citrus fruit is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3973-3973 A dead coconut is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3840-3840 A dead cucumber is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3976-3976 A dead date fruit is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 4019-4019 A dead edible nut is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3849-3849 A dead eggplant is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3927-3927 A dead grape is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 4033-4033 A dead groundnut is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3837-3837 A dead leafy green vegetable is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3979-3979 A dead mango is a subclass of grocery produce

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