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 841-846
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 840-840 Object is a subclass of physical

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 827-827 Physical is exhaustively partitioned into object and process
No TPTP formula. May not be expressible in strict first order. Merge.kif 9874-9874 The range of hole host is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 10024-10024 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 9772-9772 The range of mereological difference is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9751-9751 The range of mereological product is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9729-9729 The range of mereological sum is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1735-1735 The values returned by attr are subclasses of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 18212-18212 The values returned by Making fn are subclasses of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 15534-15534 Artifact is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 13884-13884 Astronomical body is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1515-1515 Agent is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1232-1232 Collection is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24443-24443 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. Mid-level-ontology.kif 21320-21320 Prepared food is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1222-1222 Region is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 856-856 Self connected object is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25519-25519 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 15096-15096 Transitway obstacle is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4757-4757 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 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 9770-9770 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 9771-9771 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 9749-9749 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 9750-9750 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 9727-9727 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 9728-9728 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 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 25581-25581 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 31271-31271 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 356-356 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 31284-31284 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 1940-1940 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 1679-1679 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 17307-17307 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 17308-17308 The number 2 argument of axis is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 7755-7755 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 29684-29684 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 29685-29685 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 29686-29686 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 4093-4093 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 23201-23207
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25595-25604
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. 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 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 21966-21973
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 5045-5056
No TPTP formula. May not be expressible in strict first order. Merge.kif 17727-17737
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. Mid-level-ontology.kif 4779-4793
No TPTP formula. May not be expressible in strict first order. Merge.kif 17591-17598
No TPTP formula. May not be expressible in strict first order. Merge.kif 4002-4009
No TPTP formula. May not be expressible in strict first order. Merge.kif 3996-4000
No TPTP formula. May not be expressible in strict first order. Weather.kif 125-130

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 25195-25199
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 11600-11615
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6016-6035
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6082-6100
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 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 12846-12859
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20928-20957
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 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