appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3406-3406 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14552-14553 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 940-940 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14551-14551 | Arachnid is a subclass of arthropod |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1919-1919 | Arachnid is a biological agent carrier of crimean congo hemorrhagic fever virus |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1205-1205 | Arachnid is a biological agent carrier of francisella tularensis |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14547-14547 | Arthropod is disjointly decomposed into arachnid, myriapod, insect, and crustacean |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1985-1985 | Tick is a subclass of arachnid |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 981-981 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1169-1169 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 658-658 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 189-189 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 192-192 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2342-2342 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 610-610 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 226-226 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 679-679 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 193-193 |