LogudoreseSardinianLanguage AbdominalAorta
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1280-1280 | connectedBodyPartTypes AbdominalAorta, ThoracicAorta and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1275-1277 | |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1279-1279 | |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1273-1273 | 每个 AbdominalAorta 是 Aorta 的 part |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1272-1272 | AbdominalAorta 是 动脉 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1300-1300 | connectedBodyPartTypes CeliacArtery, AbdominalAorta and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1549-1549 | connectedBodyPartTypes CommonIliacArtery, AbdominalAorta and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1487-1487 | connectedBodyPartTypes GonadalArtery, AbdominalAorta and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1284-1284 | connectedBodyPartTypes InferiorPhrenicArtery, AbdominalAorta and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1505-1505 | connectedBodyPartTypes LumbarArtery, AbdominalAorta and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1431-1431 | connectedBodyPartTypes MiddleSuprarenalArtery, AbdominalAorta and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1498-1498 | connectedBodyPartTypes OvarianArtery, AbdominalAorta and FemaleHuman |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1439-1439 | connectedBodyPartTypes RenalArtery, AbdominalAorta and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1397-1397 | connectedBodyPartTypes SuperiorMesentericArtery, AbdominalAorta and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1493-1493 | connectedBodyPartTypes TesticularArtery, AbdominalAorta and MaleHuman |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1274-1274 |