Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Object
Object

appearance as argument number 1
-------------------------


(subclass Object Physical) Merge.kif 838-838
(documentation Object EnglishLanguage "Corresponds roughly to the class of ordinary objects. Examples include normal physical objects, geographical regions, and locations of Processes, the complement of Objects in the Physical class. In a 4D ontology, an Object is something whose spatiotemporal extent is thought of as dividing into spatial parts roughly parallel to the time-axis.") Merge.kif 839-844
(externalImage Object "http://upload.wikimedia.org/wikipedia/en/thumb/e/ ee/ Elaborate_wood_box_Tom_Tanaka.JPG/ 180px_Elaborate_wood_box_Tom_Tanaka.JPG") pictureList.kif 1204-1204

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


(subclass SelfConnectedObject Object) Merge.kif 854-854
(subclass Region Object) Merge.kif 1324-1324
(subclass AutonomousAgent Object) Merge.kif 1651-1651
(rangeSubclass AttrFn Object) Merge.kif 1867-1867
(range MereologicalSumFn Object) Merge.kif 10015-10015
(range MereologicalProductFn Object) Merge.kif 10037-10037
(range MereologicalDifferenceFn Object) Merge.kif 10058-10058
(range HoleHostFn Object) Merge.kif 10154-10154
(range HoleSkinFn Object) Merge.kif 10295-10295
(subclass AstronomicalBody Object) Merge.kif 14331-14331
(subclass Artifact Object) Merge.kif 15966-15966
(subclass ContactSite Object) Merge.kif 16061-16061
(rangeSubclass MakingFn Object) Merge.kif 18720-18720
(subclass TwoDimensionalObject Object) Mid-level-ontology.kif 5420-5420
(subclass TransitwayObstacle Object) Mid-level-ontology.kif 16825-16825
(subclass SphericalObject Object) Mid-level-ontology.kif 27890-27890
(range LineFn Object) Mid-level-ontology.kif 28166-28166
(subclass Magnet Object) Cars.kif 3735-3735
(rangeSubclass OrganicObjectFn Object) Economy.kif 5599-5599
(subclass Shrapnel Object) MilitaryDevices.kif 2249-2249
(subclass TornadoDamage Object) Weather.kif 3335-3335
(termFormat EnglishLanguage Object "object") english_format.kif 832-832

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


(domain part 1 Object) Merge.kif 924-924
(domain part 2 Object) Merge.kif 925-925
(domain properPart 1 Object) Merge.kif 936-936
(domain properPart 2 Object) Merge.kif 937-937
(domain properlyFills 1 Object) Merge.kif 1010-1010
(domain contains 2 Object) Merge.kif 1093-1093
(domain attribute 1 Object) Merge.kif 1812-1812
(domainSubclass AttrFn 1 Object) Merge.kif 1868-1868
(domain instrument 2 Object) Merge.kif 2580-2580
(domain origin 2 Object) Merge.kif 2591-2591
(domain resource 2 Object) Merge.kif 2620-2620
(domain resourceExhausted 2 Object) Merge.kif 2639-2639
(domain copy 1 Object) Merge.kif 3951-3951
(domain copy 2 Object) Merge.kif 3952-3952
(domain capability 3 Object) Merge.kif 4006-4006
(domain exploits 1 Object) Merge.kif 4033-4033
(domain overlapsSpatially 1 Object) Merge.kif 4137-4137
(domain overlapsSpatially 2 Object) Merge.kif 4138-4138
(domain partlyLocated 2 Object) Merge.kif 4152-4152
(domain located 2 Object) Merge.kif 4182-4182
(domain eventPartlyLocated 2 Object) Merge.kif 4203-4203
(domain eventLocated 2 Object) Merge.kif 4227-4227
(domain exactlyLocated 2 Object) Merge.kif 4244-4244
(domain between 1 Object) Merge.kif 4262-4262
(domain between 2 Object) Merge.kif 4263-4263

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(=>
    (instance ?O Object)
    (capability Translocation origin ?O))		 Merge.kif 846-848
(=>
    (instance ?O Object)
    (capability Translocation destination ?O))		 Merge.kif 850-852
(=>
    (and
        (wants ?AGENT ?OBJ)
        (instance ?OBJ Object))
    (desires ?AGENT
        (possesses ?AGENT ?OBJ)))		 Merge.kif 2886-2891
(=>
    (and
        (instance ?OBJ1 Object)
        (partlyLocated ?OBJ1 ?OBJ2))
    (overlapsSpatially ?OBJ1 ?OBJ2))		 Merge.kif 4161-4165
(=>
    (and
        (instance ?OBJ1 Object)
        (partlyLocated ?OBJ1 ?OBJ2))
    (exists (?SUB)
        (and
            (part ?SUB ?OBJ1)
            (located ?SUB ?OBJ2))))		 Merge.kif 4167-4174
(=>
    (instance ?OBJ Object)
    (exists (?TIME1 ?TIME2)
        (and
            (instance ?TIME1 TimePoint)
            (instance ?TIME2 TimePoint)
            (before ?TIME1 ?TIME2)
            (forall (?TIME)
                (=>
                    (and
                        (beforeOrEqual ?TIME1 ?TIME)
                        (beforeOrEqual ?TIME ?TIME2))
                    (time ?OBJ ?TIME))))))		 Merge.kif 8312-8324
(=>
    (and
        (instance ?REL CaseRole)
        (instance ?OBJ Object)
        (?REL ?PROCESS ?OBJ))
    (exists (?TIME)
        (overlapsSpatially
            (WhereFn ?PROCESS ?TIME) ?OBJ)))		 Merge.kif 9826-9832
(=>
    (instance ?OBJ Object)
    (or
        (attribute ?OBJ Monochromatic)
        (attribute ?OBJ Polychromatic)))		 Merge.kif 18056-18060
(=>
    (and
        (instance ?OBJ Object)
        (attribute ?OBJ Pliable))
    (exists (?CHANGE)
        (and
            (instance ?CHANGE ShapeChange)
            (patient ?CHANGE ?OBJ))))		 Merge.kif 18103-18110
(=>
    (and
        (instance ?L1 Object)
        (attribute ?L1 LongAndThin)
        (instance ?L2 Object)
        (attribute ?L2 LongAndThin)
        (connected ?L1 ?L2)
        (not
            (equal ?L1 ?L2)))
    (exists (?M)
        (relativeAngle ?L1 ?L2 ?M)))		 Mid-level-ontology.kif 3418-3428
(=>
    (and
        (instance ?SALE BargainSale)
        (patient ?SALE ?OBJ)
        (instance ?OBJ Object))
    (exists (?PRICE1 ?PRICE2 ?AGENT1 ?AGENT2 ?U)
        (and
            (instance ?U UnitOfCurrency)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?SALE))
                (price ?OBJ
                    (MeasureFn ?PRICE1 ?U) ?AGENT1))
            (holdsDuring
                (WhenFn ?SALE)
                (price ?OBJ
                    (MeasureFn ?PRICE2 ?U) ?AGENT2))
            (lessThan ?PRICE2 ?PRICE1))))		 Mid-level-ontology.kif 9169-9183
(=>
    (and
        (instance ?R CentrifugalMotion)
        (instance ?O Object)
        (moves ?R ?O)
        (instance ?A Object)
        (located ?A ?O))
    (modalAttribute
        (exists (?M)
            (and
                (instance ?M MovingAwayFrom)
                (changesLocation ?M ?A)
                (origin ?M ?O)
                (causes ?R ?M))) Likely))		 Mid-level-ontology.kif 19414-19427
(=>
    (and
        (instance ?SAW Saw)
        (instance ?CUT Cutting)
        (instrument ?CUT ?SAW)
        (instance ?OBJ Object)
        (patient ?CUT ?OBJ))
    (exists (?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART)
        (and
            (instance ?MOTION Motion)
            (subProcess ?MOTION ?CUT)
            (instance ?PART CuttingDevice)
            (part ?PART ?SAW)
            (meetsSpatially ?PART ?OBJ)
            (patient ?MOTION ?PART)
            (instance ?T2 TimeInterval)
            (instance ?T2 TimeInterval)
            (equal
                (WhenFn ?MOTION) ?TIME)
            (temporalPart ?TIME ?T1)
            (temporalPart ?TIME ?T2)
            (instance ?DIR1 DirectionalAttribute)
            (instance ?DIR2 DirectionalAttribute)
            (=>
                (holdsDuring ?T1
                    (direction ?MOTION ?DIR1))
                (holdsDuring ?T2
                    (and
                        (direction ?MOTION ?DIR2)
                        (or
                            (equal ?DIR1 ?DIR2)
                            (oppositeDirection ?DIR1 ?DIR2))
                        (not
                            (and
                                (equal ?DIR1 ?DIR2)
                                (oppositeDirection ?DIR1 ?DIR2)))))))))		 Mid-level-ontology.kif 20084-20118
(=>
    (and
        (instance ?INHERIT Inheriting)
        (agent ?INHERIT ?HEIR)
        (instance ?HEIR Human)
        (origin ?INHERIT ?PERSON)
        (instance ?PERSON Human)
        (patient ?INHERIT ?PROPERTY)
        (instance ?PROPERTY Object))
    (exists (?DEATH)
        (and
            (instance ?DEATH Death)
            (experiencer ?DEATH ?PERSON)
            (earlier
                (WhenFn ?DEATH)
                (WhenFn ?INHERIT))
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?DEATH))
                (possesses ?PERSON ?PROPERTY))
            (confersRight ?PERSON ?HEIR
                (possesses ?HEIR ?PROPERTY)))))		 Mid-level-ontology.kif 20540-20561
(=>
    (and
        (instance ?O Object)
        (instance ?OPEN Opening)
        (patient ?OPEN ?O))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?OPEN))
        (attribute ?O Open)))		 Mid-level-ontology.kif 23710-23716
(=>
    (and
        (instance ?O Object)
        (equal ?O
            (HoleHostFn ?H))
        (holdsDuring ?T
            (attribute ?O Open)))
    (holdsDuring ?T
        (modalAttribute
            (exists (?MOVE ?THING)
                (and
                    (instance ?MOVE Transfer)
                    (objectTransferred ?MOVE ?THING)
                    (destination ?MOVE ?H))) Possibility)))		 Mid-level-ontology.kif 23743-23756
(=>
    (and
        (instance ?O Object)
        (instance ?C Closing)
        (patient ?C ?O))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?C))
        (attribute ?O Closed)))		 Mid-level-ontology.kif 23762-23768
(=>
    (and
        (instance ?B Blade)
        (instance ?CUT Cutting)
        (instance ?OBJ Object)
        (instrument ?CUT ?B)
        (patient ?CUT ?OBJ))
    (meetsSpatially ?B ?OBJ))		 Mid-level-ontology.kif 24309-24316
(=>
    (and
        (?ROLE ?EVENT ?OBJ)
        (instance ?ROLE CaseRole)
        (instance ?EVENT Process)
        (instance ?OBJ Object))
    (playsRoleInEvent ?OBJ ?ROLE ?EVENT))		 Mid-level-ontology.kif 25570-25576
(=>
    (and
        (attribute ?X ?Y)
        (instance ?Y TemperatureAttribute)
        (instance ?X Object))
    (exists (?TEMP)
        (and
            (measure ?X ?TEMP)
            (instance ?TEMP TemperatureMeasure)
            (attribute ?TEMP ?Y))))		 Mid-level-ontology.kif 28255-28264
(=>
    (and
        (instance ?MAF MovingAwayFrom)
        (instance ?RELATIVEOBJECT Object)
        (instance ?REFERENCEOBJECT Object)
        (patient ?MAF ?RELATIVEOBJECT)
        (patient ?MAF ?REFERENCEOBJECT))
    (exists (?BEFOREDISTANCE ?AFTERDISTANCE ?U)
        (and
            (instance ?BEFOREDISTANCE RealNumber)
            (instance ?AFTERDISTANCE RealNumber)
            (moves ?MAF ?RELATIVEOBJECT)
            (holdsDuring
                (BeginFn
                    (WhenFn ?MAF))
                (distance ?RELATIVEOBJECT ?REFERENCEOBJECT
                    (MeasureFn ?BEFOREDISTANCE ?U)))
            (holdsDuring
                (EndFn
                    (WhenFn ?MAF))
                (distance ?RELATIVEOBJECT ?REFERENCEOBJECT
                    (MeasureFn ?AFTERDISTANCE ?U)))
            (greaterThan ?AFTERDISTANCE ?BEFOREDISTANCE))))		 Mid-level-ontology.kif 34214-34234
(=>
    (and
        (instance ?MT MovingTowards)
        (instance ?RELATIVEOBJECT Object)
        (instance ?REFERENCEOBJECT Object)
        (patient ?MT ?REFERENCEOBJECT)
        (patient ?MT ?RELATIVEOBJECT))
    (exists (?BEFOREDISTANCE ?AFTERDISTANCE ?U)
        (and
            (instance ?BEFOREDISTANCE RealNumber)
            (instance ?AFTERDISTANCE RealNumber)
            (instance ?U UnitOfLength)
            (moves ?MT ?RELATIVEOBJECT)
            (holdsDuring
                (BeginFn
                    (WhenFn ?MT))
                (distance ?RELATIVEOBJECT ?REFERENCEOBJECT
                    (MeasureFn ?BEFOREDISTANCE ?U)))
            (holdsDuring
                (EndFn
                    (WhenFn ?MT))
                (distance ?RELATIVEOBJECT ?REFERENCEOBJECT
                    (MeasureFn ?AFTERDISTANCE ?U)))
            (greaterThan ?BEFOREDISTANCE ?AFTERDISTANCE))))		 Mid-level-ontology.kif 34241-34262
(=>
    (and
        (offers ?AGENT ?CATALOG)
        (catalogItem ?CLASS ?CATALOG)
        (subclass ?CLASS Object)
        (instance ?PROCESSINST ?PROCESS)
        (subclass ?PROCESS Process)
        (instance ?OBJ ?CLASS)
        (patient ?PROCESSINST ?OBJ))
    (capability ?PROCESS agent ?AGENT))		 Catalog.kif 98-107
(=>
    (and
        (offersAtTime ?AGENT ?CATALOG ?TIMEINT)
        (catalogItem ?CLASS ?CATALOG)
        (subclass ?CLASS Object)
        (instance ?PROCESSINSTANCE ?PROCESS)
        (subclass ?PROCESS Process)
        (instance ?OBJ ?CLASS)
        (patient ?PROCESSINSTANCE ?OBJ)
        (instance ?TIMEINT ?TIME)
        (subclass ?TIME TimeInterval))
    (capabilityDuring ?PROCESS agent ?AGENT ?TIME))		 Catalog.kif 139-150
(=>
    (and
        (equal ?P
            (OrganicObjectFn ?ORG))
        (subclass ?P Object))
    (or
        (subclass ?ORG Organism)
        (subclass ?ORG AnatomicalStructure)))		 Economy.kif 5607-5614

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(=>
    (instance ?COLL CollectionOfObjects)
    (memberType ?COLL Object))		 Merge.kif 1382-1384
(=>
    (instance ?C Consuming)
    (exists (?O ?D)
        (and
            (patient ?C ?O)
            (instance ?O Object)
            (resource ?C ?O)
            (subProcess ?D ?C)
            (instance ?D Decreasing)
            (patient ?D ?O)
            (causes ?C ?D))))		 Merge.kif 10487-10497
(=>
    (changesLocation ?EVENT ?OBJ)
    (and
        (instance ?EVENT Translocation)
        (instance ?OBJ Object)
        (or
            (patient ?EVENT ?OBJ)
            (agent ?EVENT ?OBJ)
            (experiencer ?EVENT ?OBJ))))		 Merge.kif 11255-11263
(=>
    (instance ?MOTION Motion)
    (exists (?OBJ)
        (and
            (instance ?OBJ Object)
            (moves ?MOTION ?OBJ))))		 Merge.kif 11270-11275
(=>
    (instance ?T Translocation)
    (exists (?O ?D ?P)
        (and
            (instance ?O Object)
            (instance ?D Object)
            (instance ?P Object)
            (path ?T ?P)
            (origin ?T ?O)
            (destination ?T ?D))))		 Merge.kif 11845-11854
(=>
    (instance ?PURSUE Pursuing)
    (exists (?OBJ)
        (and
            (instance ?OBJ Object)
            (patient ?PURSUE ?OBJ))))		 Merge.kif 13168-13173
(=>
    (instance ?S Searching)
    (exists (?AGENT ?OBJ ?LOC)
        (and
            (instance ?AGENT CognitiveAgent)
            (agent ?S ?AGENT)
            (instance ?OBJ Physical)
            (patient ?S ?OBJ)
            (instance ?LOC Object)
            (located ?OBJ ?LOC)
            (hasPurposeForAgent ?S ?AGENT
                (knows ?AGENT
                    (located ?OBJ ?LOC))))))		 Merge.kif 13268-13280
(=>
    (and
        (instance ?S Searching)
        (patient ?S ?OBJ)
        (instance ?OBJ Physical))
    (exists (?LOC ?AGENT)
        (and
            (instance ?AGENT CognitiveAgent)
            (agent ?S ?AGENT)
            (instance ?LOC Object)
            (located ?OBJ ?LOC)
            (hasPurposeForAgent ?S ?AGENT
                (knows ?AGENT
                    (located ?OBJ ?LOC))))))		 Merge.kif 13282-13295
(=>
    (instance ?VM VendingMachine)
    (hasPurpose ?VM
        (exists (?H ?O ?V)
            (and
                (instance ?V Vending)
                (instance ?H Human)
                (instance ?O Object)
                (objectTransferred ?V ?O)
                (instrument ?V ?VM)
                (origin ?V ?VM)
                (not
                    (instance ?O Currency))
                (destination ?V ?H)))))		 Mid-level-ontology.kif 2534-2547
(=>
    (attribute ?X Locked)
    (instance ?X Object))		 Mid-level-ontology.kif 3316-3318
(=>
    (relativeAngle ?L1 ?L2 ?M)
    (and
        (instance ?L1 Object)
        (attribute ?L1 LongAndThin)
        (instance ?L2 Object)
        (attribute ?L2 LongAndThin)
        (connected ?L1 ?L2)
        (not
            (equal ?L1 ?L2))))		 Mid-level-ontology.kif 3430-3439
(=>
    (instance ?PD PaintingDevice)
    (hasPurpose ?PD
        (exists (?STUFF ?COVER ?SURF ?OBJ)
            (and
                (instance ?STUFF Substance)
                (instance ?COVER Covering)
                (instance ?OBJ Object)
                (surface ?SURF ?OBJ)
                (agent ?COVER ?PD)
                (instrument ?COVER ?STUFF)
                (patient ?COVER ?SURF)))))		 Mid-level-ontology.kif 3874-3885
(=>
    (instance ?X Sculpting)
    (exists (?SC ?OBJ)
        (and
            (instance ?OBJ Object)
            (patient ?X ?OBJ)
            (instance ?SC ShapeChange)
            (subProcess ?SC ?X)
            (patient ?SC ?OBJ))))		 Mid-level-ontology.kif 3892-3900
(=>
    (instance ?BAG Bag)
    (hasPurpose ?BAG
        (exists (?T ?OBJ)
            (and
                (instance ?T Transfer)
                (instance ?OBJ Object)
                (contains ?BAG ?OBJ)
                (instrument ?T ?BAG)
                (patient ?T ?OBJ)))))		 Mid-level-ontology.kif 5072-5081
(=>
    (and
        (instance ?C Coughing)
        (experiencer ?C ?H))
    (hasPurpose ?C
        (exists (?R ?L ?O ?T)
            (and
                (instance ?L Lung)
                (instance ?T Throat)
                (instance ?O Object)
                (instance ?R Removing)
                (part ?L ?H)
                (part ?T ?H)
                (objectTransferred ?R ?O)
                (holdsDuring
                    (ImmediatePastFn
                        (WhenFn ?C))
                    (or
                        (located ?O ?T)
                        (located ?O ?L)))))))		 Mid-level-ontology.kif 7175-7194
(=>
    (and
        (instance ?C Sneezing)
        (experiencer ?C ?H))
    (hasPurpose ?C
        (exists (?R ?N ?NOSE ?O)
            (and
                (instance ?N NasalCavity)
                (instance ?NOSE Nose)
                (equal ?NOSE
                    (HoleHostFn ?N))
                (instance ?O Object)
                (instance ?R Removing)
                (part ?NOSE ?H)
                (objectTransferred ?R ?O)
                (holdsDuring
                    (ImmediatePastFn
                        (WhenFn ?C))
                    (located ?O ?N))))))		 Mid-level-ontology.kif 7241-7259
(=>
    (instance ?R PositionReport)
    (containsFormula ?R
        (exists (?O ?A)
            (and
                (instance ?O Object)
                (instance ?A Region)
                (holdsDuring
                    (WhenFn ?R)
                    (located ?O ?A))))))		 Mid-level-ontology.kif 7874-7882
(=>
    (and
        (instance ?C Choking)
        (experiencer ?C ?H))
    (exists (?O ?T ?L)
        (and
            (instance ?O Object)
            (instance ?T Trachea)
            (instance ?L Lung)
            (part ?T ?H)
            (part ?L ?H)
            (holdsDuring
                (WhenFn ?C)
                (or
                    (located ?O ?T)
                    (located ?O ?L))))))		 Mid-level-ontology.kif 13254-13269
(=>
    (instance ?D Disappearing)
    (exists (?OBJ ?AGENT ?SEARCH ?TIME)
        (and
            (instance ?SEARCH Searching)
            (earlier
                (WhenFn ?D)
                (WhenFn ?SEARCH))
            (agent ?SEARCH ?AGENT)
            (instance ?OBJ Object)
            (patient ?D ?OBJ)
            (patient ?SEARCH ?OBJ)
            (instance ?TIME TimeInterval)
            (temporalPart ?TIME
                (WhenFn ?SEARCH))
            (holdsDuring ?TIME
                (not
                    (modalAttribute
                        (exists (?DISC)
                            (and
                                (instance ?DISC Discovering)
                                (agent ?DISC ?AGENT)
                                (patient ?DISC ?OBJ))) Possibility))))))		 Mid-level-ontology.kif 19162-19184
(=>
    (instance ?X Protecting)
    (hasPurpose ?X
        (exists (?OBJ ?T ?H ?HARM)
            (and
                (instance ?OBJ Object)
                (patient ?X Object)
                (subclass ?HARM
                    (KappaFn ?H
                        (and
                            (or
                                (instance ?H CriminalAction)
                                (instance ?H Damaging))
                            (=>
                                (holdsDuring ?T
                                    (patient ?H ?OBJ))
                                (not
                                    (holdsDuring ?T
                                        (patient ?X ?OBJ)))))))
                (or
                    (prevents ?X ?HARM)
                    (hinders ?X ?HARM))))))		 Mid-level-ontology.kif 20326-20347
(=>
    (instance ?A Awarding)
    (exists (?RECIPIENT ?GIVER ?PROCESS ?AWARD)
        (and
            (instance ?RECIPIENT AutonomousAgent)
            (instance ?GIVER AutonomousAgent)
            (instance ?PROCESS Process)
            (instance ?AWARD Object)
            (agent ?PROCESS ?RECIPIENT)
            (agent ?A ?GIVER)
            (patient ?A ?AWARD)
            (destination ?A ?RECIPIENT)
            (causes ?PROCESS ?A))))		 Mid-level-ontology.kif 20567-20579
(=>
    (and
        (attribute ?X ?ATTR)
        (instance ?ATTR SizeAttribute))
    (instance ?X Object))		 Mid-level-ontology.kif 27625-27629
(=>
    (attribute ?X Clean)
    (instance ?X Object))		 Mid-level-ontology.kif 27867-27869
(=>
    (attribute ?X Dirty)
    (instance ?X Object))		 Mid-level-ontology.kif 27871-27873
(=>
    (attribute ?X HandicappedFriendly)
    (instance ?X Object))		 Mid-level-ontology.kif 28748-28750

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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners