No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 63-68 |
Objet corpusculaire est une instance de ComputerHardware objet corpusculaire objet corpusculaire est une instance de Computer objet corpusculaire est un composant de objet corpusculaire |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10944-10950 |
Objet corpusculaire est une instance de vertebr� objet corpusculaire objet corpusculaire est une instance de animal objet corpusculaire est un composant de objet corpusculaire objet corpusculaire est une instance 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 |