No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 225-225 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 226-226 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 132-132 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 246-246 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1961-1961 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 84-84 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 293-293 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 284-284 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 151-151 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 137-137 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 438-438 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23323-23323 |
deceptiveIdentifier e' uma sub-relacao de refers |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16146-16146 |
describes e' uma sub-relacao de refers |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3006-3006 |
emailAddress e' uma sub-relacao de refers |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4426-4426 |
names e' uma sub-relacao de refers |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3679-3679 |
phoneNumber e' uma sub-relacao de refers |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16609-16609 |
registeredItem e' uma sub-relacao de refers |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4450-4450 |
represents e' uma sub-relacao de refers |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49106-49106 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 226-226 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49105-49105 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49104-49104 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-de.txt 94-94 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |