|
|
   BiologicalAgent
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 153-156 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10524-10524 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9908-9908 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10522-10522 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10521-10521 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10520-10520 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10523-10523 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 157-157 | BiologicalAgent est compl�tement d�compos� en Toxin + ToxicOrganism |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 152-152 | BiologicalAgent est une sous-classe de BiochemicalAgent |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 82-82 | BiochemicalAgent est compl�tement d�compos� en BiologicalAgent + ChemicalAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 88-88 | Les valeurs retourn�es par AgentOfOrganismFn sont des sous-classes de BiologicalAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 159-159 | Toxin est une sous-classe de BiologicalAgent |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11093-11093 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11092-11092 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11091-11091 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 970-970 | Le nombre 1 argument de biologicalAgentCarrier est une sous-classe de BiologicalAgent |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 145-150 |
|
|
|
|
