Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Object

Sigma KEE - Object
Object(object)
acantha, accessory, add-on, adulterator, agent, air_mass, alluvial_deposit, alluvial_sediment, alluvion, alluvium, antimatter, appendage, appendicle, appurtenance, archeological_remains, arm, assay, attachment, backup, ballast, barreled, barrelled, base, basic, bed, bezel, bight, bit, block, blockage, bodily, bond, border, bottom, branch, building_block, burden, bushing, catch, cell, chip, clog, closed_universe, closure, coast, coffee_grounds, communication, composition, computer_backup, conjunction...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1552-1554
No TPTP formula. May not be expressible in strict first order. Merge.kif 847-852
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 122-125
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 141-145
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1204-1204
No TPTP formula. May not be expressible in strict first order. Merge.kif 846-846 Object is a subclass of physical

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 833-833 Physical is exhaustively partitioned into object and process
No TPTP formula. May not be expressible in strict first order. Merge.kif 9928-9928 The range of hole host is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 10069-10069 The range of hole skin is an instance of object
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2626-2626 The range of line is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9831-9831 The range of mereological difference is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9810-9810 The range of mereological product is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9788-9788 The range of mereological sum is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1776-1776 The values returned by attr are subclasses of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 18372-18372 The values returned by Making fn are subclasses of object
No TPTP formula. May not be expressible in strict first order. Economy.kif 5250-5250 The values returned by organic object fn are subclasses of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 15681-15681 Artifact is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 14022-14022 Astronomical body is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1556-1556 Agent is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1261-1261 Collection is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24553-24553 Contact site is a subclass of object
No TPTP formula. May not be expressible in strict first order. Cars.kif 3866-3866 Magnet is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1251-1251 Region is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 862-862 Self connected object is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25611-25611 Spherical object is a subclass of object
No TPTP formula. May not be expressible in strict first order. Weather.kif 2068-2068 Tornado damage is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15250-15250 Transitway obstacle is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4797-4797 Two dimensional object is a subclass of object
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2096-2096 sublass shrapnel and object
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 815-815

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 1276-1276 The number 3 argument of Acceleration fn is an instance of object
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2624-2624 The number 1 argument of line is an instance of object
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2625-2625 The number 2 argument of line is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9829-9829 The number 1 argument of mereological difference is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9830-9830 The number 2 argument of mereological difference is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9808-9808 The number 1 argument of mereological product is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9809-9809 The number 2 argument of mereological product is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9786-9786 The number 1 argument of mereological sum is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9787-9787 The number 2 argument of mereological sum is an instance of object
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 870-870 The number 1 argument of absorbed dose is an instance of object
No TPTP formula. May not be expressible in strict first order. Hotel.kif 936-936 The number 1 argument of adjacent orientation is an instance of object
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 184-184 The number 1 argument of advertised on is an instance of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25673-25673 The number 1 argument of air temperature is an instance of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31363-31363 The number 1 argument of allowable value is an instance of object
No TPTP formula. May not be expressible in strict first order. Music.kif 357-357 The number 2 argument of anthem is an instance of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31376-31376 The number 1 argument of applicable relation is an instance of object
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1926-1926 The number 1 argument of ask price is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1720-1720 The number 1 argument of attribute is an instance of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17465-17465 The number 1 argument of axis is an instance of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17466-17466 The number 2 argument of axis is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 7816-7816 The number 1 argument of barometric pressure is an instance of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29769-29769 The number 1 argument of before on path is an instance of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29770-29770 The number 2 argument of before on path is an instance of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29771-29771 The number 3 argument of before on path is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4152-4152 The number 1 argument of between is an instance of object

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23252-23258
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25687-25696
No TPTP formula. May not be expressible in strict first order. Hotel.kif 504-520
No TPTP formula. May not be expressible in strict first order. Economy.kif 5267-5276
No TPTP formula. May not be expressible in strict first order. Economy.kif 5258-5265
No TPTP formula. May not be expressible in strict first order. Hotel.kif 841-862
No TPTP formula. May not be expressible in strict first order. Hotel.kif 546-561
No TPTP formula. May not be expressible in strict first order. Hotel.kif 346-361
No TPTP formula. May not be expressible in strict first order. Hotel.kif 811-832
No TPTP formula. May not be expressible in strict first order. Hotel.kif 294-313
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1326-1342
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1312-1324
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 354-365
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 343-352
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22018-22025
No TPTP formula. May not be expressible in strict first order. Food.kif 468-478
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3239-3259
No TPTP formula. May not be expressible in strict first order. Food.kif 980-992
No TPTP formula. May not be expressible in strict first order. Food.kif 994-1003
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 145-160
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 373-379
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 381-388
No TPTP formula. May not be expressible in strict first order. Economy.kif 6000-6011
No TPTP formula. May not be expressible in strict first order. Merge.kif 17882-17892
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 313-325

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25322-25326
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1478-1491
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 26-47
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11754-11769
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6056-6075
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. naics.kif 7953-7978
No TPTP formula. May not be expressible in strict first order. naics.kif 7242-7257
No TPTP formula. May not be expressible in strict first order. naics.kif 8736-8756
No TPTP formula. May not be expressible in strict first order. naics.kif 7702-7716
No TPTP formula. May not be expressible in strict first order. naics.kif 6153-6169
No TPTP formula. May not be expressible in strict first order. naics.kif 7752-7765
No TPTP formula. May not be expressible in strict first order. naics.kif 7877-7893
No TPTP formula. May not be expressible in strict first order. naics.kif 8707-8727
No TPTP formula. May not be expressible in strict first order. naics.kif 8034-8059
No TPTP formula. May not be expressible in strict first order. naics.kif 7600-7618
No TPTP formula. May not be expressible in strict first order. naics.kif 8253-8275
No TPTP formula. May not be expressible in strict first order. naics.kif 8776-8797
No TPTP formula. May not be expressible in strict first order. naics.kif 8080-8105
No TPTP formula. May not be expressible in strict first order. naics.kif 6375-6391
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2065-2076
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1883-1900
No TPTP formula. May not be expressible in strict first order. Merge.kif 12984-12997
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21147-21177
No TPTP formula. May not be expressible in strict first order. Cars.kif 368-376

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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