BodyJoint
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1641-1643 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1331-1334 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 225-228 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 267-270 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1329-1329 | Content bearing object is internally related to contains information |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1328-1328 | Content bearing object is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1327-1327 | Content bearing object is a subclass of corpuscular object |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15532-15532 | The values returned by edition are subclasses of content bearing object |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4540-4540 | Account is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2261-2261 | Compass is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Government.kif 682-682 | Constitution document is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24525-24525 | Descriptor is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24542-24542 | Descriptor part is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26374-26374 | Document is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 672-672 | Feedback is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14866-14866 | Holiday card is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 381-381 | Multipole diagram is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17124-17124 | Playing card is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 554-554 | Process state is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1386-1386 | Recording is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14406-14406 | Sheet music is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1106-1106 | Ship register is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1087-1087 | Ship registration is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17118-17118 | Sign is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15382-15382 | Text is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1674-1674 | Uniform resource identifier is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2035-2035 | User account is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26199-26199 | Visual content bearing object is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1363-1363 | Web document is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 833-833 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 868-868 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3499-3499 | The number 1 argument of card code is an instance of content bearing object |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2200-2200 | The number 1 argument of coding is an instance of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23320-23320 | The number 1 argument of deceptive identifier is an instance of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22716-22716 | The number 1 argument of inventory is an instance of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14332-14332 | The number 1 argument of record is an instance of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14358-14358 | The number 1 argument of stored is an instance of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15530-15530 | The number 1 argument of edition is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15479-15479 | The number 2 argument of authors is a subclass of content bearing object |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 240-242 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3356-3366 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12697-12702 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4608-4613 |
|