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 132-134
No TPTP formula. May not be expressible in strict first order. Merge.kif 130-130 The number 1 argument of subclass is an instance of set or class
No TPTP formula. May not be expressible in strict first order. Merge.kif 131-131 The number 2 argument of subclass is an instance of set or class
No TPTP formula. May not be expressible in strict first order. Merge.kif 128-128 subclass is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 129-129 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 327-327
No TPTP formula. May not be expressible in strict first order. Merge.kif 5114-5114 subset is a subrelation of subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55628-55628
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 55627-55627
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55626-55626

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1140-1152
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 931-935
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 2859-2865
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 480-496
No TPTP formula. May not be expressible in strict first order. Hotel.kif 498-514
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11174-11185
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11145-11156
No TPTP formula. May not be expressible in strict first order. WMD.kif 912-916
No TPTP formula. May not be expressible in strict first order. WMD.kif 918-922
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 16094-16098
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16100-16109
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 784-805
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. Merge.kif 794-796 A set or class is an instance of class if and only if the set or class is a subclass of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 220-226
No TPTP formula. May not be expressible in strict first order. Merge.kif 2899-2904
No TPTP formula. May not be expressible in strict first order. Merge.kif 243-249
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 11929-11933
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14488-14492
No TPTP formula. May not be expressible in strict first order. Merge.kif 3274-3278
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28228-28257
No TPTP formula. May not be expressible in strict first order. Merge.kif 323-329
No TPTP formula. May not be expressible in strict first order. Merge.kif 338-342
No TPTP formula. May not be expressible in strict first order. Merge.kif 350-356
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18748-18755
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 14683-14687
No TPTP formula. May not be expressible in strict first order. WMD.kif 1206-1208
No TPTP formula. May not be expressible in strict first order. WMD.kif 1233-1235
No TPTP formula. May not be expressible in strict first order. Merge.kif 2844-2849
No TPTP formula. May not be expressible in strict first order. Geography.kif 6352-6354
No TPTP formula. May not be expressible in strict first order. Merge.kif 1689-1698
No TPTP formula. May not be expressible in strict first order. Media.kif 3173-3175

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 5090-5093 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 1300-1300 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 1293-1293 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 1479-1479 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 1288-1288 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 1840-1840 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 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