| MotionPicture
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1654-1655 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1386-1388 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 240-242 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 284-286 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2601-2601 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2492-2492 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1384-1384 | 子類 MotionPicture and Recording |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1385-1385 | 子類 MotionPicture and Text |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15964-15964 | 子類 記錄 and MotionPicture |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15953-15953 | 子類 電影場景 and MotionPicture |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15928-15928 | 子類 電影拍攝 and MotionPicture |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 837-837 | 子類 電影拍攝 and MotionPicture |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 876-876 | 子類 電影拍攝 and MotionPicture |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 513-513 | 子類 電影拍攝 and MotionPicture |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 45-45 | 子類 電影拍攝 and MotionPicture |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 48-48 | 子類 電影拍攝 and MotionPicture |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2198-2198 | 子類 電影拍攝 and MotionPicture |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 465-465 | 子類 電影拍攝 and MotionPicture |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 80-80 | 子類 電影拍攝 and MotionPicture |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 339-339 | 子類 電影拍攝 and MotionPicture |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 534-534 | 子類 電影拍攝 and MotionPicture |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 49-49 | 子類 電影拍攝 and MotionPicture |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22344-22344 | 域 針對, 2 and MotionPicture |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1506-1519 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24154-24162 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22290-22297 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15957-15962 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15933-15938 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1506-1519 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4544-4549 | Process Entity 例 Process and Disseminating agent Process and Netflix 患者 Process and Entity 例 Entity and MotionPicture |
|
|
|