instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17072-17072 | Above is an instance of anti-symmetric positional attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17071-17071 | Above is an instance of positional attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4761-4761 | Absolute value is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4760-4760 | Absolute value is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13713-13713 | Abun language is an instance of north birds head language |
No TPTP formula. May not be expressible in strict first order. | Music.kif 519-519 | Acapella is an instance of music genre |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13151-13151 | Acatepec tlapaneco language is an instance of subtiaba tlapanec language |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1278-1278 | Acceleration fn is an instance of quaternary function |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1279-1279 | Acceleration fn is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 844-844 | AcceptsICJ jurisdiction is an instance of legal system attribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 11553-11553 | Accommodation and food services is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4468-4468 | Account active is an instance of account attribute |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4467-4467 | Account deactivated is an instance of account attribute |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2315-2315 | Account is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21103-21103 | Accountant is an instance of profession |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8338-8338 | Achterhoeks language is an instance of low saxon group language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11526-11526 | Achuar shiwiar language is an instance of jivaroan language |
No TPTP formula. May not be expressible in strict first order. | Music.kif 534-534 | Acid house is an instance of music genre |
No TPTP formula. May not be expressible in strict first order. | Music.kif 539-539 | Acid jazz is an instance of music genre |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6823-6823 | Acid rain issue is an instance of environmental issue |
No TPTP formula. May not be expressible in strict first order. | Music.kif 547-547 | Acid rock is an instance of music genre |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2799-2799 | Acidic pH is an instance of internal attribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6822-6822 | Acidification issue is an instance of environmental issue |
No TPTP formula. May not be expressible in strict first order. | Music.kif 553-553 | Acoustic is an instance of music genre |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13689-13689 | Acre is an instance of unit of area |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |