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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Object
Object(object)
جِسْم, Objeto, Oggetto, acantha, accessory, add-on, adulterator, air_mass, alluvial_deposit, alluvial_sediment, alluvion, alluvium, antimatter, appendage, appendicle, appurtenance, archeological_remains, arm, assay, attachment, backup, bagay, ballast, barreled, barrelled, base, basic, bed, bezel, bight, bit, block, blockage, bodily, bond, border, bottom, branch, building_block, burden, bushing, butang, catch, cell, chip, clog, closed_universe, closure, coast, coffee_grounds...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 878-880
No TPTP formula. May not be expressible in strict first order. Merge.kif 872-877
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 871-871 Object is a subclass of physical

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 857-857 Physical is exhaustively partitioned into object and process
No TPTP formula. May not be expressible in strict first order. Merge.kif 9816-9816 The range of hole host is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9990-9990 The range of hole skin is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9705-9705 The range of mereological difference is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9683-9683 The range of mereological product is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9660-9660 The range of mereological sum is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 18630-18630 The values returned by MakingFn are subclasses of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1545-1545 Agent is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 15671-15671 Artifact is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 13879-13879 Astronomical body is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1277-1277 Collection is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21931-21931 ContactSite is a subclass of object
No TPTP formula. May not be expressible in strict first order. Cars.kif 3873-3873 Magnet is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18759-18759 Food is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1260-1260 Region is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 883-883 Self connected object is a subclass of object
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 173-173 SphericalObject is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12678-12678 Transitway obstacle is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5113-5113 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 502-502 "object" is the printable form of object in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 491-491 "objet" is the printable form of object in french language
No TPTP formula. May not be expressible in strict first order. terms-it.txt 25-25 "Oggetto" is the printable form of object in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 443-443 "Objeto" is the printable form of object in portuguese language

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 1317-1317 The number 3 argument of AccelerationFn is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9703-9703 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 9704-9704 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 9681-9681 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 9682-9682 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 9658-9658 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 9659-9659 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 23150-23150 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 376-376 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 1753-1753 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 14764-14764 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 14765-14765 The number 2 argument of axis is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 7969-7969 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 27504-27504 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 27505-27505 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 27506-27506 The number 3 argument of beforeOnPath is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4251-4251 The number 1 argument of between is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4252-4252 The number 2 argument of between is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4253-4253 The number 3 argument of between is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4277-4277 The number 1 argument of before on path is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4278-4278 The number 2 argument of before on path 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 20764-20770
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23165-23174
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 1524-1540
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1510-1522
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 438-448
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 427-436
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19383-19390
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3445-3465
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 464-470
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 472-479
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 394-406
No TPTP formula. May not be expressible in strict first order. Merge.kif 18056-18063
No TPTP formula. May not be expressible in strict first order. Merge.kif 4158-4165
No TPTP formula. May not be expressible in strict first order. Merge.kif 4152-4156
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 9487-9493
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2090-2107

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 22820-22824
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 2272-2283
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2090-2107
No TPTP formula. May not be expressible in strict first order. Merge.kif 12782-12795
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18418-18447
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 859-863
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23084-23086
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24973-24975
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23088-23090

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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



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