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 10971-10977 |
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 3531-3540 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4107-4113 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11218-11223 |
|
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 14505-14516 |
|
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 2466-2471 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16138-16143 |
|
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 11734-11742 |
|
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 |