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 7819-7824 |
|
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 7816-7816 |
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 7817-7817 |
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 7814-7814 |
barometric pressure is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7813-7813 |
barometric pressure is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7815-7815 |
barometric pressure is a subrelation of measure |