|
|
   BodySubstance
|
|
|
| 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 14829-14832 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14828-14828 | Substance corporel est une sous-classe de substance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14834-14834 | AnimalSubstance est une sous-classe de substance corporel |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 309-309 | Batrachotoxin est une sous-classe de substance corporel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11991-11991 | Bile est une sous-classe de substance corporel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14875-14875 | Sang est une sous-classe de substance corporel |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1140-1140 | BloodPlasma est une sous-classe de substance corporel |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 323-323 | BotulinumToxin est une sous-classe de substance corporel |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1469-1469 | Conotoxin est une sous-classe de substance corporel |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 349-349 | EpsilonToxin est une sous-classe de substance corporel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2062-2062 | Excrement est une sous-classe de substance corporel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14856-14856 | Hormone est une sous-classe de substance corporel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10848-10848 | LiquidBodySubstance est une sous-classe de substance corporel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12327-12327 | Mucus est une sous-classe de substance corporel |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 218-218 | Mycotoxin est une sous-classe de substance corporel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12343-12343 | Neurotransmitter est une sous-classe de substance corporel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14845-14845 | PlantSubstance est une sous-classe de substance corporel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9180-9180 | Rubber est une sous-classe de substance corporel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12312-12312 | Saliva est une sous-classe de substance corporel |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1454-1454 | Saxitoxin est une sous-classe de substance corporel |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1478-1478 | Tetrodotoxin est une sous-classe de substance corporel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15146-15146 | Tissu est une sous-classe de substance corporel |
| 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 24088-24092 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4340-4353 |
|
|
|
|