No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 167-167 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 168-168 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 103-103 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 219-219 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1932-1932 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 55-55 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 85-85 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 206-206 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 257-257 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 122-122 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 104-104 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 411-411 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4163-4163 |
accountUsed e' uma sub-relacao de patient |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23427-23427 |
controlled e' uma sub-relacao de patient |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1874-1874 |
dataProcessed e' uma sub-relacao de patient |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16265-16265 |
defendant e' uma sub-relacao de patient |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 281-281 |
defenseLawyer e' uma sub-relacao de patient |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6786-6786 |
detainee e' uma sub-relacao de patient |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 168-168 |
evidence e' uma sub-relacao de patient |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15724-15724 |
experimentalControl e' uma sub-relacao de patient |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2468-2468 |
instrument e' uma sub-relacao de patient |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12377-12377 |
objectAttached e' uma sub-relacao de patient |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12425-12425 |
objectDetached e' uma sub-relacao de patient |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11331-11331 |
objectTransferred e' uma sub-relacao de patient |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |