uses |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2209-2211 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4671-4674 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 873-875 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4668-4668 | The number 1 argument of uses is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4669-4669 | The number 2 argument of uses is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4667-4667 | uses is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4666-4666 | uses is an instance of binary predicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 247-247 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 248-248 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 140-140 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 308-308 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1972-1972 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 92-92 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 317-317 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 344-344 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 159-159 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 145-145 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 500-500 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60860-60860 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 248-248 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60859-60859 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60858-60858 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 102-102 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 336-350 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22426-22433 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1966-1971 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1723-1728 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 998-1006 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17833-17839 |
|
No TPTP formula. May not be expressible in strict first order. | Military.kif 137-143 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4253-4255 |
|