No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 4419-4419 |
The range of ship crew is an instance of group |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1648-1648 |
File system is a subclass of group |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8643-8643 |
Group of animals is a subclass of group |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16409-16409 |
Group of people is a subclass of group |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16779-16779 |
Organization is a subclass of group |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1063-1063 |
Organization is a subclass of group |
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1337-1337 |
Organization is a subclass of group |
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 741-741 |
Organization is a subclass of group |
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 272-272 |
Organization is a subclass of group |
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 275-275 |
Organization is a subclass of group |
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2425-2425 |
Organization is a subclass of group |
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 693-693 |
Organization is a subclass of group |
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 277-277 |
Organization is a subclass of group |
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 311-311 |
Organization is a subclass of group |
No TPTP formula. May not be expressible in strict first order. |
terms-de.txt 570-570 |
Organization is a subclass of group |
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 762-762 |
Organization is a subclass of group |
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 276-276 |
Organization is a subclass of group |