experiencer

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 1129-1139
No TPTP formula. May not be expressible in strict first order. emotion.kif 1141-1147
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6122-6140
No TPTP formula. May not be expressible in strict first order. Merge.kif 10222-10237
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 85-94
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18239-18243
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9986-9994
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1636-1643
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9964-9976
No TPTP formula. May not be expressible in strict first order. emotion.kif 1710-1721
No TPTP formula. May not be expressible in strict first order. emotion.kif 1583-1597
No TPTP formula. May not be expressible in strict first order. emotion.kif 1738-1751
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2609-2623
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 133-140
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2534-2538
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2591-2605
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4357-4374
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4451-4461
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16380-16389
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1960-1975
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18249-18255
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16465-16477
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1916-1929
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6423-6427
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6429-6439

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