appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1550-1551 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 828-830 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 120-121 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 139-140 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 826-826 | Physical is exhaustively partitioned into object and process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 825-825 | Physical is a subclass of entity |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 809-809 | Entity is exhaustively partitioned into physical and abstract |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1271-1271 | Collection is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1314-1314 | Content bearing physical is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 43-43 | Financial asset is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 839-839 | Object is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6146-6146 | Physical system is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1632-1632 | Process is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 814-814 | Process is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 830-830 | Process is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 490-490 | Process is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 24-24 | Process is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 26-26 | Process is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2175-2175 | Process is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 442-442 | Process is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 27-27 | Process is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 57-57 | Process is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 316-316 | Process is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 511-511 | Process is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 27-27 | Process is a subclass of physical |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8581-8581 | The number 1 argument of when is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4250-4250 | The number 1 argument of where is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6137-6137 | 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 7563-7563 | The number 1 argument of age is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7784-7784 | The number 1 argument of altitude is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7785-7785 | 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 25827-25827 | The number 1 argument of anniversary is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2118-2118 | 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 8502-8502 | The number 1 argument of cooccur is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8503-8503 | The number 2 argument of cooccur is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4068-4068 | 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 4069-4069 | 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 4036-4036 | 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 4037-4037 | 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 3880-3880 | 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 3881-3881 | 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 8657-8657 | The number 1 argument of date is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2516-2516 | 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 971-971 | 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 7808-7808 | The number 1 argument of depth is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7809-7809 | The number 2 argument of depth is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7762-7762 | The number 1 argument of distance is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7763-7763 | 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. | Merge.kif 4156-4156 | The number 1 argument of exactly located is an instance of physical |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1066-1070 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28493-28501 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2887-2903 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2845-2870 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2922-2940 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2726-2730 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21401-21409 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28485-28487 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 240-255 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16022-16027 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13124-13136 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 943-948 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2242-2259 |
|
![]() |
![]() |