initiallyContainsPart |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23726-23732 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23734-23734 | The number 1 argument of initially contains part is a subclass of object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23735-23735 | The number 2 argument of initially contains part is a subclass of object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23723-23723 | initially contains part is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23724-23724 | initially contains part is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23725-23725 | initially contains part is internally related to part |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3702-3702 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3701-3701 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3700-3700 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30115-30115 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30114-30114 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30113-30113 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23737-23745 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29548-29548 | Instance of computer keyboard are always initially part of instances of laptop |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29549-29549 | Instance of computer screen are always initially part of instances of laptop |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3151-3151 | Instance of home button are always initially part of instances of iPad |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3150-3150 | Instance of home button are always initially part of instances of iPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3152-3152 | Instance of home button are always initially part of instances of iPod |