appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1587-1590 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1055-1061 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 165-169 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 194-199 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 917-917 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1052-1052 | Substance is exhaustively partitioned into pure substance and mixture |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1053-1053 | Substance is exhaustively partitioned into synthetic substance and natural substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1051-1051 | Substance is a subclass of self connected object |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1237-1237 | Corpuscular object is disjoint from substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14824-14824 | Biologically active substance is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14959-14959 | Body substance is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2455-2455 | Chemical acid is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1594-1594 | Conductor substance is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3796-3796 | Creatinine is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7447-7447 | Crystal is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3083-3083 | Drug candidate is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2822-2822 | Effluent is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3019-3019 | Electricity is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19433-19433 | Explosive substance is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2156-2156 | Fuel is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5090-5090 | Gum arabic is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1599-1599 | Insulator substance is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7825-7825 | Liquid drop is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3034-3034 | Lubricant is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14464-14464 | Mineral is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1192-1192 | Mixture is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1090-1090 | Natural substance is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2920-2920 | Noxious substance is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10156-10156 | Powder is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1094-1094 | Pure substance is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19475-19475 | Rock is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4495-4495 | Sugar is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10028-10028 | Surfactant is a subclass of substance |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 259-259 | The number 2 argument of catalyst is an instance of substance |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1242-1242 | The number 1 argument of mixture ratio is an instance of substance |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1243-1243 | The number 2 argument of mixture ratio is an instance of substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 961-961 | The number 1 argument of piece is an instance of substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 962-962 | The number 2 argument of piece is an instance of substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10003-10003 | The number 2 argument of reactant is an instance of substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10010-10010 | The number 2 argument of reagent is an instance of substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7627-7627 | The number 1 argument of Amounts fn is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10445-10445 | The number 1 argument of Mohs Scale is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10470-10470 | The number 1 argument of Vickers Hardness is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7162-7162 | The number 2 argument of allergic is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7643-7643 | The number 1 argument of amount is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 225-225 | The number 2 argument of concentration is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4526-4526 | The number 2 argument of ground subsurface type is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4519-4519 | The number 2 argument of ground surface type is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1223-1223 | The number 1 argument of ingredient is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1224-1224 | The number 2 argument of ingredient is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 988-988 | The number 1 argument of material is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5871-5871 | The number 1 argument of mixture part is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33620-33620 | The number 1 argument of room temperature state is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1253-1253 | The number 2 argument of substance element is a subclass of substance |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |