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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners