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 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 9375-9375 The range of hole host is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9525-9525 The range of hole skin is an instance of object
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2593-2593 The range of line is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9273-9273 The range of mereological difference is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9252-9252 The range of mereological product is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9230-9230 The range of mereological sum is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 17054-17054 The values returned by MakingFn are subclasses of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1436-1436 Agent is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 14562-14562 Artifact is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 13036-13036 Astronomical body is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1157-1157 Collection is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22367-22367 ContactSite is a subclass of object
No TPTP formula. May not be expressible in strict first order. Cars.kif 3840-3840 Magnet is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19221-19221 Prepared food is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1143-1143 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 23571-23571 SphericalObject is a subclass of object
No TPTP formula. May not be expressible in strict first order. Weather.kif 2061-2061 Tornado damage is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12965-12965 Transitway obstacle is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5118-5118 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 837-837

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 1277-1277 The number 3 argument of AccelerationFn is an instance of object
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2591-2591 The number 1 argument of line is an instance of object
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2592-2592 The number 2 argument of line is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9271-9271 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 9272-9272 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 9250-9250 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 9251-9251 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 9228-9228 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 9229-9229 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 906-906 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 23635-23635 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 354-354 The number 2 argument of anthem is an instance of object
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1862-1862 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 1628-1628 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 15052-15052 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 15053-15053 The number 2 argument of axis is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 7434-7434 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 27984-27984 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 27985-27985 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 27986-27986 The number 3 argument of beforeOnPath is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4012-4012 The number 1 argument of between is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4013-4013 The number 2 argument of between is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4014-4014 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 21200-21206
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23650-23659
No TPTP formula. May not be expressible in strict first order. Hotel.kif 480-496
No TPTP formula. May not be expressible in strict first order. Hotel.kif 814-835
No TPTP formula. May not be expressible in strict first order. Hotel.kif 522-537
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 784-805
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 1522-1538
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1508-1520
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 19846-19853
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 16574-16581
No TPTP formula. May not be expressible in strict first order. Merge.kif 3921-3928
No TPTP formula. May not be expressible in strict first order. Merge.kif 3915-3919
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 9060-9066
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 23256-23260
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 7960-7985
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 8659-8679
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-7772
No TPTP formula. May not be expressible in strict first order. naics.kif 7884-7900
No TPTP formula. May not be expressible in strict first order. naics.kif 8630-8650
No TPTP formula. May not be expressible in strict first order. naics.kif 8041-8066
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 8176-8198
No TPTP formula. May not be expressible in strict first order. naics.kif 8699-8720
No TPTP formula. May not be expressible in strict first order. naics.kif 8087-8112
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 12073-12086
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18870-18899
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 856-860
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23520-23522
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25452-25454
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23524-23526

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