![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3355-3356 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14289-14292 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12042-12042 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10304-10304 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14287-14287 | Transitway is a subclass of region |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14288-14288 | Transitway is a subclass of self connected object |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1247-1247 | Air transitway is a subclass of transitway |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11716-11716 | Airway is a subclass of transitway |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14306-14306 | Land transitway is a subclass of transitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 773-773 | Pipeline is a subclass of transitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2962-2962 | Transitway junction is a subclass of transitway |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5576-5576 | Waterway is a subclass of transitway |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58904-58904 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58903-58903 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58902-58902 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1603-1603 | The number 1 argument of transit is an instance of transitway |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24362-24362 | The number 2 argument of distance on path is an instance of transitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2723-2723 | The number 1 argument of path in system is an instance of transitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2903-2903 | The number 1 argument of route between is an instance of transitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2743-2743 | The number 1 argument of route in system is an instance of transitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3035-3035 | The number 1 argument of transitway capacity count is an instance of transitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3045-3045 | The number 1 argument of transitway capacity rate is an instance of transitway |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1609-1613 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2846-2856 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14298-14304 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2880-2884 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2832-2837 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2783-2797 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2760-2774 |
|
![]() |
![]() |