appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20301-20301 | The expected value of bear is 500.0 pound mass(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20304-20304 | Bear inhabits asia |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20303-20303 | Bear inhabits europe |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20302-20302 | Bear inhabits north america |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20305-20305 | Bear inhabits south america |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20292-20292 | Bear is a subclass of carnivore |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64530-64530 |