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 812-817
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 811-811 Object is a subclass of physical

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 798-798 Physical is exhaustively partitioned into object and process
No TPTP formula. May not be expressible in strict first order. Merge.kif 9563-9563 The range of hole host is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9713-9713 The range of hole skin is an instance of object
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2595-2595 The range of line is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9461-9461 The range of mereological difference is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9440-9440 The range of mereological product is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9418-9418 The range of mereological sum is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 17736-17736 The values returned by MakingFn are subclasses of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1470-1470 Agent is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 15064-15064 Artifact is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 13433-13433 Astronomical body is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1187-1187 Collection is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23877-23877 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 20808-20808 Prepared food is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1172-1172 Region is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 819-819 Self connected object is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24950-24950 SphericalObject is a subclass of object
No TPTP formula. May not be expressible in strict first order. Weather.kif 2063-2063 Tornado damage is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14667-14667 Transitway obstacle is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4512-4512 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 2593-2593 The number 1 argument of line is an instance of object
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2594-2594 The number 2 argument of line is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9459-9459 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 9460-9460 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 9438-9438 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 9439-9439 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 9416-9416 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 9417-9417 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 25012-25012 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 30702-30702 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 30715-30715 The number 1 argument of applicableRelation is an instance of object
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1896-1896 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 1634-1634 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 16855-16855 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 16856-16856 The number 2 argument of axis is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 7573-7573 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 29129-29129 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 29130-29130 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 29131-29131 The number 3 argument of beforeOnPath is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4020-4020 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 22647-22653
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25026-25035
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 21447-21454
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 4886-4897
No TPTP formula. May not be expressible in strict first order. Merge.kif 17259-17269
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 17123-17130
No TPTP formula. May not be expressible in strict first order. Merge.kif 3929-3936
No TPTP formula. May not be expressible in strict first order. Merge.kif 3923-3927
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 9248-9254

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 24626-24630
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 11209-11224
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5711-5730
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5777-5795
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 12414-12427
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20420-20449
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 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