|
|
   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 | O conceito BiologicalAgent e' completamente decomposto em Toxin + ToxicOrganism |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 152-152 | BiologicalAgent e' uma sub-classe de BiochemicalAgent |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 82-82 | O conceito BiochemicalAgent e' completamente decomposto em BiologicalAgent + ChemicalAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 88-88 | Os valores retornados por AgentOfOrganismFn sao as sub-classes de BiologicalAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 159-159 | Toxin e' uma sub-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 | O argumento numero 1 de biologicalAgentCarrier e' uma sub-classe de BiologicalAgent |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 145-150 |
|
|
|
|
