No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 63-68 |
Objeto Corpuscular e' uma instancia de ComputerHardware Objeto Corpuscular Objeto Corpuscular e' uma instancia de Computer Objeto Corpuscular e' um componente de Objeto Corpuscular |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10944-10950 |
Objeto Corpuscular e' uma instancia de Vertebrado Objeto Corpuscular Objeto Corpuscular e' uma instancia de Animal Objeto Corpuscular e' um componente de Objeto Corpuscular Objeto Corpuscular e' uma instancia de SpinalColumn |
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 |