No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8468-8468 |
The number 1 argument of when is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4222-4222 |
The number 1 argument of where is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6112-6112 |
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 7702-7702 |
The number 1 argument of altitude is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7703-7703 |
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 24130-24130 |
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 8389-8389 |
The number 1 argument of cooccur is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8390-8390 |
The number 2 argument of cooccur is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3817-3817 |
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 3818-3818 |
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 3785-3785 |
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 3786-3786 |
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 3722-3722 |
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 3723-3723 |
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 8544-8544 |
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 950-950 |
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 7680-7680 |
The number 1 argument of distance is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7681-7681 |
The number 2 argument of distance is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 178-178 |
The number 2 argument of evidence is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5406-5406 |
The number 1 argument of flows is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5407-5407 |
The number 2 argument of flows is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3945-3945 |
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 3961-3961 |
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 |