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 10447-10453 |
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 2701-2708 |
|
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 3928-3946 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2274-2285 |
|
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 3938-3946 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3490-3499 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4005-4011 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 921-932 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10693-10698 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2184-2186 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 157-163 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1065-1072 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1074-1083 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14191-14202 |
|
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 2428-2433 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15784-15789 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4953-4958 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4946-4951 |
|
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 11188-11196 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |