| ContentBearingPhysical(content bearing physical) | | aliyah, content_bearing_physical, radiophoto, radiophotograph |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1329-1330 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1325-1328 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1324-1324 | 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 1227-1227 | Brand is a subclass of content bearing physical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1350-1350 | Content bearing object is a subclass of content bearing physical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1337-1337 | Content bearing process is a subclass of content bearing physical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1395-1395 | Icon is a subclass of content bearing physical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1411-1411 | Linguistic expression is a subclass of content bearing physical |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23752-23752 | VisualContentBearingPhysical is a subclass of content bearing physical |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3245-3245 | "content bearing physical" is the printable form of content bearing physical in english language |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Law.kif 21-21 | 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 1384-1384 | 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 4654-4654 | 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 4655-4655 | 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 2879-2879 | 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 2900-2900 | 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. | Law.kif 545-545 | The number 1 argument of recordForAgreement is an instance of content bearing physical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4679-4679 | 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 4680-4680 | 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 3070-3070 | The number 2 argument of abbreviatedDisplayTitle is a subclass of content bearing physical |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3038-3038 | The number 2 argument of alternativeTitle is a subclass of content bearing physical |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3059-3059 | The number 2 argument of displayTitle is a subclass of content bearing physical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4593-4593 | 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 4594-4594 | 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 3109-3109 | The number 2 argument of groupingTitle is a subclass of content bearing physical |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3131-3131 | The number 2 argument of misspelledTitle is a subclass of content bearing physical |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3099-3099 | The number 2 argument of originalTitle is a subclass of content bearing physical |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3088-3088 | The number 2 argument of referenceTitle is a subclass of content bearing physical |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3048-3048 | The number 2 argument of sortingTitle is a subclass of content bearing physical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4618-4618 | 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 4619-4619 | 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 3141-3141 | 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 3020-3020 | The number 2 argument of titleInLanguage is a subclass of content bearing physical |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12192-12192 | The number 2 argument of titles is a subclass of content bearing physical |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3166-3166 | The number 2 argument of translatedTitle 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 1332-1335 |
|
| consequent |
|
|
|
|
|