component

-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 931-936
No TPTP formula. May not be expressible in strict first order. Economy.kif 5603-5608
No TPTP formula. May not be expressible in strict first order. Economy.kif 5647-5652
No TPTP formula. May not be expressible in strict first order. Economy.kif 5637-5642
No TPTP formula. May not be expressible in strict first order. Economy.kif 5667-5672
No TPTP formula. May not be expressible in strict first order. Economy.kif 5657-5662
No TPTP formula. May not be expressible in strict first order. Economy.kif 5677-5682
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2530-2535
No TPTP formula. May not be expressible in strict first order. Merge.kif 14955-14961
No TPTP formula. May not be expressible in strict first order. Merge.kif 1138-1143
No TPTP formula. May not be expressible in strict first order. Media.kif 1495-1500
No TPTP formula. May not be expressible in strict first order. Media.kif 1521-1526
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2126-2131
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 312-321
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2215-2224
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2204-2213
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4034-4039
No TPTP formula. May not be expressible in strict first order. Cars.kif 3755-3769
No TPTP formula. May not be expressible in strict first order. Cars.kif 3994-4012
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2173-2191
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1536-1544
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 434-441
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2953-2961
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1218-1226


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