BiologicalAgent(biological agent) more pictures... | biohazard, biological_agent, grandaunt, grandnephew, grandniece, granduncle, great-aunt, great-nephew, great-niece, great-uncle, great_granddaughter, great_grandfather, great_grandmother, great_grandparent, great_grandson |
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 | Biological agent is exhaustively partitioned into toxin and toxic organism |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 152-152 | Biological agent is a subclass of biochemical agent |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 82-82 | Biochemical agent is exhaustively partitioned into biological agent and chemical agent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 88-88 | The values returned by Agent of organism fn are subclasses of biological agent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 159-159 | Toxin is a subclass of biological agent |
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 | The number 1 argument of biological agent carrier is a subclass of biological agent |
consequent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 145-150 |
|