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, 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, content...

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 9340-9340 The range of hole host is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9490-9490 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 9238-9238 The range of mereological difference is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9217-9217 The range of mereological product is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9195-9195 The range of mereological sum is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 17002-17002 The values returned by MakingFn are subclasses of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1432-1432 Agent is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 14527-14527 Artifact is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 13001-13001 Astronomical body is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1155-1155 Collection is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22361-22361 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 19215-19215 Prepared food is a subclass of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1141-1141 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 23565-23565 SphericalObject is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12963-12963 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 9236-9236 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 9237-9237 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 9215-9215 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 9216-9216 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 9193-9193 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 9194-9194 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 23629-23629 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 1624-1624 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 15050-15050 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 15051-15051 The number 2 argument of axis is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 7408-7408 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 27976-27976 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 27977-27977 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 27978-27978 The number 3 argument of beforeOnPath is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4000-4000 The number 1 argument of between is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4001-4001 The number 2 argument of between is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4002-4002 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 21194-21200
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23644-23653
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 1520-1536
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1506-1518
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 435-445
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 424-433
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19840-19847
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3442-3462
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 461-467
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 469-476
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 391-403
No TPTP formula. May not be expressible in strict first order. Merge.kif 16522-16529
No TPTP formula. May not be expressible in strict first order. Merge.kif 3909-3916
No TPTP formula. May not be expressible in strict first order. Merge.kif 3903-3907
No TPTP formula. May not be expressible in strict first order. Weather.kif 115-120
No TPTP formula. May not be expressible in strict first order. Merge.kif 9027-9033
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2087-2104

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 23250-23254
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 2269-2280
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2087-2104
No TPTP formula. May not be expressible in strict first order. Merge.kif 12038-12051
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18864-18893
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 854-858
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23514-23516
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25444-25446
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23518-23520

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