No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8433-8433 |
The number 1 argument of when is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4199-4199 |
The number 1 argument of where is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6079-6079 |
The number 2 argument of abstract counterpart is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7669-7669 |
The number 1 argument of altitude is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7670-7670 |
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 24123-24123 |
The number 1 argument of anniversary is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 2120-2120 |
The number 3 argument of attitude for object is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8354-8354 |
The number 1 argument of cooccur is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8355-8355 |
The number 2 argument of cooccur is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3750-3750 |
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 3751-3751 |
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 3718-3718 |
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 3719-3719 |
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 3655-3655 |
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 3656-3656 |
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 8509-8509 |
The number 1 argument of date is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2555-2555 |
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 945-945 |
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 7647-7647 |
The number 1 argument of distance is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7648-7648 |
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 5337-5337 |
The number 1 argument of flows is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5338-5338 |
The number 2 argument of flows is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3922-3922 |
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 3938-3938 |
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 |