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. Merge.kif 146-148
No TPTP formula. May not be expressible in strict first order. Merge.kif 143-145
No TPTP formula. May not be expressible in strict first order. Merge.kif 141-141 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 142-142 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 139-139 subclass is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 140-140 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 192-192
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. portuguese_format.kif 134-134
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 127-127
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-tg.txt 463-463
No TPTP formula. May not be expressible in strict first order. Merge.kif 5453-5453 subset is a subrelation of subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 320-320 "子类别" is the printable form of subclass in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9712-9712 "subclass" is the printable form of subclass in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 577-577 "«صِنْف فَرْعِي مِن»" is the printable form of subclass in ar

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1136-1148
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 783-787
No TPTP formula. May not be expressible in strict first order. WMD.kif 922-926
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 613-619
No TPTP formula. May not be expressible in strict first order. Hotel.kif 477-493
No TPTP formula. May not be expressible in strict first order. Hotel.kif 495-510
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 223-234
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 194-205
No TPTP formula. May not be expressible in strict first order. WMD.kif 903-907
No TPTP formula. May not be expressible in strict first order. WMD.kif 909-913
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. Economy.kif 2281-2290
No TPTP formula. May not be expressible in strict first order. Hotel.kif 333-348
No TPTP formula. May not be expressible in strict first order. Hotel.kif 350-363
No TPTP formula. May not be expressible in strict first order. Hotel.kif 780-801
No TPTP formula. May not be expressible in strict first order. Hotel.kif 289-308
No TPTP formula. May not be expressible in strict first order. Media.kif 1902-1906
No TPTP formula. May not be expressible in strict first order. Media.kif 1890-1894

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 852-854 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 247-253
No TPTP formula. May not be expressible in strict first order. Merge.kif 3180-3185
No TPTP formula. May not be expressible in strict first order. Merge.kif 273-279
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 12639-12643
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14200-14204
No TPTP formula. May not be expressible in strict first order. Merge.kif 3459-3463
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27749-27778
No TPTP formula. May not be expressible in strict first order. Merge.kif 358-364
No TPTP formula. May not be expressible in strict first order. Merge.kif 375-379
No TPTP formula. May not be expressible in strict first order. Merge.kif 387-393
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18296-18303
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 73-77
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 1189-1191
No TPTP formula. May not be expressible in strict first order. WMD.kif 1216-1218
No TPTP formula. May not be expressible in strict first order. Merge.kif 3123-3128
No TPTP formula. May not be expressible in strict first order. Geography.kif 6244-6246
No TPTP formula. May not be expressible in strict first order. Merge.kif 1813-1822
No TPTP formula. May not be expressible in strict first order. Media.kif 3118-3120
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28092-28095
No TPTP formula. May not be expressible in strict first order. Merge.kif 104-110
No TPTP formula. May not be expressible in strict first order. Merge.kif 174-181
No TPTP formula. May not be expressible in strict first order. Geography.kif 1481-1487

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 5121-5124 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 1283-1283 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 1276-1276 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 1462-1462 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 1271-1271 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 1823-1823 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. Society.kif 1059-1059 A dead alfalfa is a subclass of PlantAgriculturalArtifact
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. Society.kif 1073-1073 A dead chrysanthemum is a subclass of PlantAgriculturalArtifact
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. Society.kif 1063-1063 A dead clover is a subclass of PlantAgriculturalArtifact
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. Society.kif 1064-1064 A dead forage crop is a subclass of PlantAgriculturalArtifact

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners