BiologicalAttribute(Atributo Biologico) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 4004-4005 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18103-18104 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18102-18102 | Atributo Biologico e' uma sub-classe de Atributo Interno |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 387-387 | Ambulatory e' uma instancia de Atributo Biologico |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19851-19851 | Bored e' uma instancia de Atributo Biologico |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30305-30305 | Healthy e' uma instancia de Atributo Biologico |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19814-19814 | Hungry e' uma instancia de Atributo Biologico |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5640-5640 | LowBodyTemperature e' uma instancia de Atributo Biologico |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23964-23964 | Menopausal e' uma instancia de Atributo Biologico |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19866-19866 | Pregnant e' uma instancia de Atributo Biologico |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19826-19826 | Thirsty e' uma instancia de Atributo Biologico |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19839-19839 | Tired e' uma instancia de Atributo Biologico |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18156-18156 | Atributo de Animacao e' uma sub-classe de Atributo Biologico |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1775-1775 | AuditoryAcuityAttribute e' uma sub-classe de Atributo Biologico |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18121-18121 | BodyPosition e' uma sub-classe de Atributo Biologico |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18214-18214 | Atributo Desenvolvimental e' uma sub-classe de Atributo Biologico |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18290-18290 | Doenca ou Sindrome e' uma sub-classe de Atributo Biologico |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12560-12560 | Fingerprint e' uma sub-classe de Atributo Biologico |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18335-18335 | Atributo Psicologico e' uma sub-classe de Atributo Biologico |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18183-18183 | Atributo Sexual e' uma sub-classe de Atributo Biologico |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19759-19759 | VisualAcuityAttribute e' uma sub-classe de Atributo Biologico |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1257-1257 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1735-1735 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 935-935 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 471-471 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 474-474 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2619-2619 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18115-18119 |
|