No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7941-7941 |
The number 1 argument of when is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4075-4075 |
The number 1 argument of where is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5808-5808 |
The number 2 argument of abstractCounterpart is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7315-7315 |
The number 1 argument of altitude is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7316-7316 |
The number 2 argument of altitude is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21985-21985 |
The number 1 argument of anniversary is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 2018-2018 |
The number 3 argument of attitudeForObject is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7866-7866 |
The number 1 argument of cooccur is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7867-7867 |
The number 2 argument of cooccur is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3652-3652 |
The number 1 argument of courseWRT compass north is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3653-3653 |
The number 2 argument of courseWRT compass north is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3623-3623 |
The number 1 argument of courseWRT magnetic north is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3624-3624 |
The number 2 argument of courseWRT magnetic north is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3560-3560 |
The number 1 argument of courseWRT true north is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3561-3561 |
The number 2 argument of courseWRT true north is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8018-8018 |
The number 1 argument of date is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2496-2496 |
The number 1 argument of date dissolved is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1365-1365 |
The number 1 argument of date established is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7293-7293 |
The number 1 argument of distance is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7294-7294 |
The number 2 argument of distance is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 221-221 |
The number 2 argument of evidence is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5121-5121 |
The number 1 argument of flows is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5122-5122 |
The number 2 argument of flows is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3807-3807 |
The number 1 argument of has purpose is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3823-3823 |
The number 1 argument of has purpose for agent is an instance of physical |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |