No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9796-9796 | Antigen e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9802-9802 | AntigenA e' uma sub-classe de Antigen |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9807-9807 | AntigenB e' uma sub-classe de Antigen |