No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 63-68 |
A corpuscular object is an instance of computer hardware if and only if there exists another corpuscular object such that the other corpuscular object is an instance of computer and the corpuscular object is a component of the other corpuscular object |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10944-10950 |
A corpuscular object is an instance of vertebrate if and only if there exists another corpuscular object such that the corpuscular object is an instance of animal and the other corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of spinal column |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2491-2498 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 224-237 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3721-3739 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2065-2076 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 204-213 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4016-4024 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3538-3547 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4114-4120 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11191-11196 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1975-1977 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14459-14470 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1075-1083 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1039-1044 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2473-2478 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16066-16071 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5910-5915 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5903-5908 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 675-680 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11707-11715 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 262-267 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1989-1994 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1149-1156 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1309-1314 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |