BodySubstance(Substancia Corporal) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3472-3473 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14853-14856 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14852-14852 | Substancia Corporal e' uma sub-classe de Substancia |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14858-14858 | AnimalSubstance e' uma sub-classe de Substancia Corporal |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 309-309 | Batrachotoxin e' uma sub-classe de Substancia Corporal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12019-12019 | Bile e' uma sub-classe de Substancia Corporal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14899-14899 | Sangue e' uma sub-classe de Substancia Corporal |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1140-1140 | BloodPlasma e' uma sub-classe de Substancia Corporal |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 323-323 | BotulinumToxin e' uma sub-classe de Substancia Corporal |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1469-1469 | Conotoxin e' uma sub-classe de Substancia Corporal |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 349-349 | EpsilonToxin e' uma sub-classe de Substancia Corporal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2055-2055 | Excrement e' uma sub-classe de Substancia Corporal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14880-14880 | Hormonio e' uma sub-classe de Substancia Corporal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10876-10876 | LiquidBodySubstance e' uma sub-classe de Substancia Corporal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12355-12355 | Mucus e' uma sub-classe de Substancia Corporal |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 218-218 | Mycotoxin e' uma sub-classe de Substancia Corporal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12371-12371 | Neurotransmitter e' uma sub-classe de Substancia Corporal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14869-14869 | PlantSubstance e' uma sub-classe de Substancia Corporal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9208-9208 | Rubber e' uma sub-classe de Substancia Corporal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12340-12340 | Saliva e' uma sub-classe de Substancia Corporal |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1454-1454 | Saxitoxin e' uma sub-classe de Substancia Corporal |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1478-1478 | Tetrodotoxin e' uma sub-classe de Substancia Corporal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15170-15170 | Tecido e' uma sub-classe de Substancia Corporal |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1010-1010 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1232-1232 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 687-687 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 218-218 | |
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 24146-24150 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4340-4353 |
|