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 |
![]() |
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 |
![]() |
![]() |