Opening
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21520-21523 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11553-11553 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11557-11557 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11555-11555 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11554-11554 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10168-10168 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11556-11556 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21519-21519 | Opening est reli� � l'int�rieur de SUMO � Closing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21518-21518 | Opening est une sous-classe de d�palcement |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19953-19953 | OpeningEyes est une sous-classe de Opening |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42198-42198 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42197-42197 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42196-42196 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29390-29396 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2428-2438 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4019-4027 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25775-25786 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3270-3285 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3852-3872 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29374-29380 |