No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2674-2677 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7841-7846 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1394-1397 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7838-7838 |
The number 1 argument of barometric pressure is an instance of object |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7839-7839 |
The number 2 argument of barometric pressure is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2753-2753 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2646-2646 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2752-2752 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7836-7836 |
barometric pressure is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7835-7835 |
barometric pressure is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7837-7837 |
barometric pressure is a subrelation of measure |