|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10786-10786 | Tricep typically 是 臂 的 part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10835-10835 | UpperArm typically 是 臂 的 part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10840-10840 | UpperLeg typically 是 腿 的 part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29398-29398 | VehicleDoor typically 是 汽车 的 part |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1110-1110 | 病毒基因组 typically 是 病毒 的 part |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1135-1135 | 病毒酶 typically 是 病毒 的 part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 791-791 | VocalCords typically 是 人类 的 part |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1556-1556 | WheatFlour typically 是 面包或饼干 的 part |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners