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, 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, content...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 892-894
No TPTP formula. May not be expressible in strict first order. Merge.kif 886-891
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1205-1205 "http://upload.wikimedia.org/wikipedia/en/thumb/e/ee/ Elaborate_wood_box_Tom_Tanaka.JPG/ 180px-Elaborate_wood_box_Tom_Tanaka.JPG" is a URL depicting object
No TPTP formula. May not be expressible in strict first order. Merge.kif 885-885 Object is a subclass of physical

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 871-871 Physical is exhaustively partitioned into object and process
No TPTP formula. May not be expressible in strict first order. Merge.kif 9954-9954 The range of hole host is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 10128-10128 The range of hole skin is an instance of object
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2436-2436 The range of line is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9843-9843 The range of mereological difference is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9821-9821 The range of mereological product is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9798-9798 The range of mereological sum is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 18768-18768 The values returned by MakingFn are subclasses of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1563-1563 Agent is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 15808-15808 Artifact is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 14016-14016 Astronomical body is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1294-1294 Collection is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22323-22323 ContactSite is a subclass of object
No TPTP formula. May not be expressible in strict first order. Cars.kif 3832-3832 Magnet is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19178-19178 Prepared food is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1277-1277 Region is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 897-897 Self connected object is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23527-23527 SphericalObject is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12938-12938 Transitway obstacle is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5117-5117 Two dimensional object is a subclass of object
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 815-815 "客体" is the printable form of object in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 506-506 "object" is the printable form of object in english language
No TPTP formula. May not be expressible in strict first order. english_format.kif 507-507 "オブジェクト" is the printable form of object in japanese language

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 AccelerationFn is an instance of object
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2434-2434 The number 1 argument of line is an instance of object
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2435-2435 The number 2 argument of line is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9841-9841 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 9842-9842 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 9819-9819 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 9820-9820 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 9796-9796 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 9797-9797 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 859-859 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 902-902 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 240-240 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 23591-23591 The number 1 argument of air temperature is an instance of object
No TPTP formula. May not be expressible in strict first order. Music.kif 360-360 The number 2 argument of anthem is an instance of object
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1864-1864 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 1776-1776 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 15024-15024 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 15025-15025 The number 2 argument of axis is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 8018-8018 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 27945-27945 The number 1 argument of beforeOnPath is an instance of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27946-27946 The number 2 argument of beforeOnPath is an instance of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27947-27947 The number 3 argument of beforeOnPath is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4282-4282 The number 1 argument of between is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4283-4283 The number 2 argument of between is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4284-4284 The number 3 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 21156-21162
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23606-23615
No TPTP formula. May not be expressible in strict first order. Hotel.kif 477-493
No TPTP formula. May not be expressible in strict first order. Hotel.kif 810-831
No TPTP formula. May not be expressible in strict first order. Hotel.kif 518-533
No TPTP formula. May not be expressible in strict first order. Hotel.kif 333-348
No TPTP formula. May not be expressible in strict first order. Hotel.kif 780-801
No TPTP formula. May not be expressible in strict first order. Hotel.kif 289-308
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1523-1539
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1509-1521
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 437-447
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 426-435
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19802-19809
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3444-3464
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 182-197
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 463-469
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 471-478
No TPTP formula. May not be expressible in strict first order. Economy.kif 4883-4894
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 393-405
No TPTP formula. May not be expressible in strict first order. Merge.kif 18194-18201
No TPTP formula. May not be expressible in strict first order. Merge.kif 4185-4192
No TPTP formula. May not be expressible in strict first order. Merge.kif 4179-4183
No TPTP formula. May not be expressible in strict first order. Weather.kif 116-121
No TPTP formula. May not be expressible in strict first order. Merge.kif 9619-9625
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2089-2106

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 23212-23216
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. naics.kif 7962-7987
No TPTP formula. May not be expressible in strict first order. naics.kif 7249-7264
No TPTP formula. May not be expressible in strict first order. naics.kif 8661-8681
No TPTP formula. May not be expressible in strict first order. naics.kif 7709-7723
No TPTP formula. May not be expressible in strict first order. naics.kif 6160-6176
No TPTP formula. May not be expressible in strict first order. naics.kif 7759-7774
No TPTP formula. May not be expressible in strict first order. naics.kif 7886-7902
No TPTP formula. May not be expressible in strict first order. naics.kif 8632-8652
No TPTP formula. May not be expressible in strict first order. naics.kif 8043-8068
No TPTP formula. May not be expressible in strict first order. naics.kif 7607-7625
No TPTP formula. May not be expressible in strict first order. naics.kif 8178-8200
No TPTP formula. May not be expressible in strict first order. naics.kif 8701-8722
No TPTP formula. May not be expressible in strict first order. naics.kif 8089-8114
No TPTP formula. May not be expressible in strict first order. naics.kif 6382-6398
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2271-2282
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2089-2106
No TPTP formula. May not be expressible in strict first order. Merge.kif 12919-12932
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18837-18866
No TPTP formula. May not be expressible in strict first order. Cars.kif 368-376
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 858-862
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23476-23478
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25414-25416
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23480-23482

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners