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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 830-835
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1205-1205
No TPTP formula. May not be expressible in strict first order. Merge.kif 829-829 Object is a subclass of physical

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 816-816 Physical is exhaustively partitioned into object and process
No TPTP formula. May not be expressible in strict first order. Merge.kif 9835-9835 The range of hole host is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9985-9985 The range of hole skin is an instance of object
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2594-2594 The range of line is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9733-9733 The range of mereological difference is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9712-9712 The range of mereological product is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9690-9690 The range of mereological sum is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1716-1716 The values returned by attr are subclasses of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 18098-18098 The values returned by MakingFn are subclasses of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1496-1496 Agent is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 15399-15399 Artifact is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 13768-13768 Astronomical body is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1213-1213 Collection is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23905-23905 ContactSite is a subclass of object
No TPTP formula. May not be expressible in strict first order. Cars.kif 3869-3869 Magnet is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20835-20835 Prepared food is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1203-1203 Region is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 837-837 Self connected object is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24978-24978 SphericalObject is a subclass of object
No TPTP formula. May not be expressible in strict first order. Weather.kif 2067-2067 Tornado damage is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14694-14694 Transitway obstacle is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4531-4531 Two dimensional object is a subclass of object
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 815-815
No TPTP formula. May not be expressible in strict first order. english_format.kif 832-832

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 2592-2592 The number 1 argument of line is an instance of object
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2593-2593 The number 2 argument of line is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9731-9731 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 9732-9732 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 9710-9710 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 9711-9711 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 9688-9688 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 9689-9689 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 914-914 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 238-238 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 25040-25040 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 30730-30730 The number 1 argument of allowableValue is an instance of object
No TPTP formula. May not be expressible in strict first order. Music.kif 355-355 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 30743-30743 The number 1 argument of applicableRelation is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1660-1660 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 16882-16882 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 16883-16883 The number 2 argument of axis is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 7720-7720 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 29157-29157 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 29158-29158 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 29159-29159 The number 3 argument of beforeOnPath is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4062-4062 The number 1 argument of between is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4063-4063 The number 2 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 22675-22681
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25054-25063
No TPTP formula. May not be expressible in strict first order. Hotel.kif 484-500
No TPTP formula. May not be expressible in strict first order. Hotel.kif 820-841
No TPTP formula. May not be expressible in strict first order. Hotel.kif 526-541
No TPTP formula. May not be expressible in strict first order. Hotel.kif 334-349
No TPTP formula. May not be expressible in strict first order. Hotel.kif 790-811
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-448
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 21475-21482
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3447-3467
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 5041-5052
No TPTP formula. May not be expressible in strict first order. Merge.kif 17613-17623
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 17477-17484
No TPTP formula. May not be expressible in strict first order. Merge.kif 3971-3978
No TPTP formula. May not be expressible in strict first order. Merge.kif 3965-3969
No TPTP formula. May not be expressible in strict first order. Weather.kif 125-130
No TPTP formula. May not be expressible in strict first order. Merge.kif 9503-9509

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 24654-24658
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 11235-11250
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5736-5755
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5802-5820
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 2274-2285
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2092-2109
No TPTP formula. May not be expressible in strict first order. Merge.kif 12742-12755
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20447-20476
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

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 3.0 is open source software produced by Articulate Software and its partners