| BiologicalAttribute | |
| 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 18195-18196 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18194-18194 | 子類 BiologicalAttribute and InternalAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 375-375 | 例 Ambulatory and BiologicalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21411-21411 | 例 悶 and BiologicalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32201-32201 | 例 Healthy and BiologicalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21358-21358 | 例 飢餓 and BiologicalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5651-5651 | 例 LowBodyTemperature and BiologicalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25555-25555 | 例 Menopausal and BiologicalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21426-21426 | 例 孕 and BiologicalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21370-21370 | 例 Thirsty and BiologicalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21383-21383 | 例 憊纍 and BiologicalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18248-18248 | 子類 AnimacyAttribute and BiologicalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1768-1768 | 子類 AuditoryAcuityAttribute and BiologicalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18213-18213 | 子類 身體姿勢 and BiologicalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18307-18307 | 子類 DevelopmentalAttribute and BiologicalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18383-18383 | 子類 DiseaseOrSyndrome and BiologicalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13864-13864 | 子類 指紋 and BiologicalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25929-25929 | 子類 Mortal and BiologicalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18428-18428 | 子類 PsychologicalAttribute and BiologicalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18275-18275 | 子類 SexAttribute and BiologicalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21303-21303 | 子類 VisualAcuityAttribute and BiologicalAttribute |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1257-1257 | 子類 VisualAcuityAttribute and BiologicalAttribute |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1735-1735 | 子類 VisualAcuityAttribute and BiologicalAttribute |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 935-935 | 子類 VisualAcuityAttribute and BiologicalAttribute |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 471-471 | 子類 VisualAcuityAttribute and BiologicalAttribute |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 474-474 | 子類 VisualAcuityAttribute and BiologicalAttribute |
| 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 18207-18211 |
|
|
|
|