No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3457-3457 |
Le domaine de ShipCrewFn est une instance de groupe |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1335-1335 |
FileSystem est une sous-classe de groupe |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7503-7503 |
GroupOfAnimals est une sous-classe de groupe |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16305-16305 |
GroupOfPeople est une sous-classe de groupe |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16675-16675 |
Organisation est une sous-classe de groupe |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1063-1063 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1337-1337 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 741-741 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 272-272 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 275-275 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2425-2425 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 693-693 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 277-277 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 311-311 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 762-762 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 276-276 |
|