Product
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3580-3580 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15693-15693 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11671-11671 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11668-11668 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11669-11669 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11674-11674 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10205-10205 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11673-11673 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15692-15692 | 子類 Product and Artifact |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5009-5009 | 子類 AnimalProduct and Product |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 20-20 | 子類 計算系統 and Product |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 59-59 | 子類 電腦硬件 and Product |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5207-5207 | 子類 ForestProduct and Product |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5186-5186 | 子類 PlantProduct and Product |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1049-1049 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1309-1309 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 727-727 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 258-258 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 261-261 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2411-2411 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 679-679 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 263-263 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 297-297 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 748-748 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 262-262 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 16-16 | 域子類 產品型號, 2 and Product |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1466-1474 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15695-15700 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 895-901 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7054-7062 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29868-29888 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29895-29915 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2318-2320 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1974-1984 |