![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 910-910 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1283-1283 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 911-911 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 850-850 | partType valve and vented chest seal |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 933-933 | Every valve is a part of a faucet |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 934-934 | Every valve is a part of a tube |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 912-912 | Valve is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 913-913 | Valve is a subclass of fluid power device |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1551-1551 | Bleeder valve is a subclass of valve |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 957-957 | Directional control valve is a subclass of valve |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2664-2664 | Exhaust valve is a subclass of valve |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2689-2689 | Intake valve is a subclass of valve |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3263-3263 | Manifold heat control valve is a subclass of valve |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3819-3819 | Positive crankcase ventilation valve is a subclass of valve |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 966-966 | Pressure control valve is a subclass of valve |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1099-1099 | Saline lock is a subclass of valve |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 976-976 | Volume control valve is a subclass of valve |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61214-61214 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61213-61213 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61212-61212 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 914-925 |
|
consequent |
![]() |
![]() |
![]() |