ContentBearingPhysical(content bearing physical) | ![]() | aliyah, radiophoto, radiophotograph |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1637-1638 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1301-1304 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 220-222 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 261-264 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1299-1299 | Content bearing physical is a subclass of physical |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1288-1288 | Brand is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1323-1323 | Content bearing object is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1311-1311 | Content bearing process is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1374-1374 | Icon is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1392-1392 | Linguistic expression is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1331-1331 | Symbolic string is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28105-28105 | Visual content bearing physical is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16953-16953 | Visual content bearing physical is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16952-16952 | Visual content bearing physical is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16951-16951 | Visual content bearing physical is a subclass of content bearing physical |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22364-22364 | The number 2 argument of acted in is an instance of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1362-1362 | The number 1 argument of contains formula is an instance of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1352-1352 | The number 1 argument of contains information is an instance of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4562-4562 | The number 1 argument of equivalent content instance is an instance of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4563-4563 | The number 2 argument of equivalent content instance is an instance of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2671-2671 | The number 1 argument of live experiment update is an instance of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2692-2692 | The number 1 argument of final experiment report is an instance of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1494-1494 | The number 1 argument of language is an instance of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Law.kif 507-507 | The number 1 argument of record for agreement is an instance of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4589-4589 | The number 1 argument of subsumes content instance is an instance of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4590-4590 | The number 2 argument of subsumes content instance is an instance of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3139-3139 | The number 2 argument of abbreviated display title is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3107-3107 | The number 2 argument of alternative title is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3128-3128 | The number 2 argument of display title is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4506-4506 | The number 1 argument of equivalent content class is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4507-4507 | The number 2 argument of equivalent content class is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3178-3178 | The number 2 argument of grouping title is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3200-3200 | The number 2 argument of misspelled title is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3168-3168 | The number 2 argument of original title is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3157-3157 | The number 2 argument of reference title is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3117-3117 | The number 2 argument of sorting title is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4532-4532 | The number 1 argument of subsumes content class is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4533-4533 | The number 2 argument of subsumes content class is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3210-3210 | The number 2 argument of subtitle is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3089-3089 | The number 2 argument of title in language is a subclass of content bearing physical |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12181-12197 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1306-1309 |
|
consequent |
![]() |
![]() |
![]() |