appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3759-3760 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16800-16803 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16799-16799 | Procedure is a subclass of proposition |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2269-2269 | Best match sort is a subclass of procedure |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2164-2164 | Coding scheme is a subclass of procedure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16805-16805 | Computer program is a subclass of procedure |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1718-1718 | Computer protocol is a subclass of procedure |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2255-2255 | Encoding procedure is a subclass of procedure |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1161-1161 | Method is a subclass of procedure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 690-690 | Orthography is a subclass of procedure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16820-16820 | Plan is a subclass of procedure |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 808-808 | Software is a subclass of procedure |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1232-1232 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1685-1685 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 910-910 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 443-443 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 446-446 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2594-2594 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 862-862 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 448-448 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 482-482 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 931-931 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 447-447 |