No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6478-6488 |
An entity is an instance of conjugated substance if and only if there exist an object, another object and a process such that the object is an instance of compound substance and the other object is an instance of compound substance and the object is not equal to the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and the entity is a result of the process |
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 |