No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6478-6488 |
Entit� est une instance de ConjugatedSubstance objet objet and processus objet est une instance de substance compos�e objet est une instance de substance compos�e objet est objet processus est une instance de synth�se chimique objet est une resource pour processus objet est une resource pour processus entit� est le resultat de processus |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 504-520 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 811-832 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 294-313 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3954-3964 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19379-19392 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2546-2554 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2548-2562 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7242-7257 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5126-5150 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5421-5443 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15152-15164 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5772-5778 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3936-3941 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1033-1039 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1026-1031 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1886-1894 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 607-615 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 629-637 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3638-3645 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1566-1573 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4757-4763 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4746-4748 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3030-3036 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19648-19655 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |