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

Formal Language: 



KB Term:  Term intersection
English Word: 

  subProcess

 Sigma KEE - subProcess
subProcess

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


(documentation subProcess ChineseLanguage "(subProcess ?SUBPROC ?PROC)的意思是 ?SUBPROC 是 ?PROC 的子过程。在这里，一个子过程可以理解为一个 Process 暂时可区分的(真整或非真整的)部分。") chinese_format.kif 2893-2894
(documentation subProcess EnglishLanguage "(subProcess ?SUBPROC ?PROC) means that ?SUBPROC is a subprocess of ?PROC. A subprocess is here understood as a temporally distinguished part (proper or not) of a Process.") Merge.kif 9681-9683
(domain subProcess 1 Process) Merge.kif 9678-9678
(domain subProcess 2 Process) Merge.kif 9679-9679
(instance subProcess BinaryPredicate) Merge.kif 9676-9676
(instance subProcess PartialOrderingRelation) Merge.kif 9677-9677

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


(format ChineseLanguage subProcess "%1%n是%2的subProcess") chinese_format.kif 573-573
(format EnglishLanguage subProcess "%1 is %n a subprocess of %2") english_format.kif 581-581
(termFormat ChineseLanguage subProcess "子过程") chinese_format.kif 574-574
(termFormat ChineseTraditionalLanguage subProcess "子過程") domainEnglishFormat.kif 55754-55754
(termFormat EnglishLanguage subProcess "sub process") domainEnglishFormat.kif 55753-55753

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


(=>
    (and
        (attribute ?ACTOR VoiceActor)
        (instance ?DRAMA DramaticActing)
        (agent ?DRAMA ?ACTOR)
        (instance ?SPEAK LinguisticCommunication)
        (agent ?SPEAK ?ACTOR)
        (subProcess ?SPEAK ?DRAMA))
    (and
        (not
            (exists (?S)
                (and
                    (instance ?S Seeing)
                    (patient ?S ?ACTOR)
                    (agent ?S ?VIEWER))))
        (exists (?H)
            (and
                (instance ?H Hearing)
                (patient ?H ?ACTOR)
                (agent ?H ?VIEWER)))))		 Biography.kif 524-543
(=>
    (and
        (freeRoomAmenity ?ROOM ?PROC)
        (subclass ?PROC Process)
        (instance ?R ?ROOM)
        (stays ?GUEST ?R)
        (element ?R
            (PropertyFn ?HOTEL))
        (patient ?P ?GUEST)
        (or
            (instance ?P ?PROC)
            (and
                (instance ?S ?PROC)
                (subProcess ?P ?S)))
        (located ?P ?R))
    (price ?P
        (MeasureFn 0 UnitedStatesDollar) ?HOTEL))		 Hotel.kif 351-365
(=>
    (and
        (instance ?A Ambulating)
        (subProcess ?S1 ?A)
        (instance ?S1 Stepping)
        (subProcess ?S2 ?A)
        (instance ?S2 Stepping)
        (equal ?S1START
            (BeginFn
                (WhenFn ?S1)))
        (equal ?S2START
            (BeginFn
                (WhenFn ?S2)))
        (not
            (or
                (before ?S1START ?S2START)
                (before ?S2START ?S1START))))
    (equal ?S1 ?S2))		 Mid-level-ontology.kif 472-485
(=>
    (and
        (instance ?ACCESSING AccessingWebPage)
        (instance ?PAGE WebPage)
        (instance ?TRANSFER DataTransfer)
        (instance ?SERVER Server)
        (instance ?REQUESTING Requesting)
        (instance ?BROWSER WebBrowser)
        (instance ?INTERVAL TimeInterval)
        (patient ?ACCESSING ?PAGE)
        (agent ?REQUESTING ?BROWSER)
        (destination ?REQUESTING ?SERVER)
        (patient ?REQUESTING ?PAGE)
        (origin ?TRANSFER ?SERVER)
        (destination ?TRANSFER ?BROWSER)
        (patient ?TRANSFER ?PAGE)
        (subProcess ?TRANSFER ?ACCESSING)
        (subProcess ?REQUESTING ?ACCESSING)
        (equal
            (EndFn
                (WhenFn ?REQUESTING))
            (BeginFn ?INTERVAL))
        (equal
            (EndFn
                (WhenFn ?TRANSFER))
            (EndFn ?INTERVAL)))
    (equal
        (SiteSpeedFn ?ACCESSING) ?INTERVAL))		 UXExperimentalTerms.kif 3966-3991
(=>
    (and
        (instance ?AMBULATE Ambulating)
        (instance ?STEP Stepping)
        (subProcess ?STEP ?AMBULATE)
        (agent ?AMBULATE ?AGENT))
    (agent ?STEP ?AGENT))		 Mid-level-ontology.kif 487-493
(=>
    (and
        (instance ?AMBULATE Ambulating)
        (instance ?STEP Stepping)
        (subProcess ?STEP ?AMBULATE)
        (agent ?STEP ?AGENT))
    (agent ?AMBULATE ?AGENT))		 Mid-level-ontology.kif 495-501
(=>
    (and
        (instance ?B Blockade)
        (instance ?C Contest)
        (subProcess ?B ?C)
        (contestParticipant ?C ?A1)
        (agent ?B ?A1))
    (exists (?C1 ?A2)
        (and
            (prevents ?C1 Translocation)
            (instance ?B ?C1)
            (contestParticipant ?C ?A2)
            (not
                (equal ?A1 ?A2))
            (desires ?A2
                (exists (?I)
                    (and
                        (instance ?I ?C1)
                        (agent ?I ?A1)
                        (subProcess ?I ?C)))))))		 Mid-level-ontology.kif 20284-20303
(=>
    (and
        (instance ?DRIVING Driving)
        (subProcess ?TRANSPORT ?DRIVING)
        (instance ?TRANSPORT Transportation)
        (agent ?DRIVING ?DRIVER))
    (transported ?TRANSPORT ?DRIVER))		 Mid-level-ontology.kif 22047-22053
(=>
    (and
        (instance ?DRIVING Driving)
        (subProcess ?TRANSPORT ?DRIVING)
        (instance ?TRANSPORT Transportation)
        (destination ?DRIVING ?DEST))
    (destination ?TRANSPORT ?DEST))		 Mid-level-ontology.kif 22055-22061
(=>
    (and
        (instance ?DRIVING Driving)
        (subProcess ?TRANSPORT ?DRIVING)
        (instance ?TRANSPORT Transportation)
        (instance ?VEHICLE Vehicle)
        (patient ?DRIVING ?VEHICLE))
    (conveyance ?TRANSPORT ?VEHICLE))		 Mid-level-ontology.kif 22063-22070
(=>
    (and
        (instance ?DUSTSTORM DustStorm)
        (instance ?WIND Wind)
        (subProcess ?DUSTSTORM ?WIND))
    (exists (?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)
        (and
            (instance ?A1 LandArea)
            (eventLocated ?WIND ?A1)
            (surfaceWindSpeed ?A1
                (MeasureFn ?STRONG KnotUnitOfSpeed))
            (greaterThan ?STRONG 30)
            (instance ?TRANSLOCATE Translocation)
            (subProcess ?TRANSLOCATE ?DUSTSTORM)
            (objectTransferred ?TRANSLOCATE ?PM)
            (objectTransferred ?TRANSLOCATE ?SAND)
            (instance ?PM ParticulateMatter)
            (instance ?SAND Sand)
            (instance ?A2 LandArea)
            (destination ?TRANSLOCATE ?A2)
            (not
                (overlapsSpatially ?A1 ?A2)))))		 Weather.kif 1273-1294
(=>
    (and
        (instance ?G Baseball)
        (instance ?P Pitching)
        (subProcess ?P ?G))
    (exists (?M)
        (and
            (instance ?M PitchersMound)
            (origin ?P ?M))))		 Sports.kif 548-556
(=>
    (and
        (instance ?GOAL GameGoal)
        (instrument ?GAME ?GOAL)
        (instance ?GAME Game)
        (subProcess ?SCORE ?GAME)
        (instance ?SCORE Score))
    (exists (?PIECE ?TIME)
        (and
            (instance ?PIECE GamePiece)
            (patient ?SCORE ?PIECE)
            (temporalPart ?TIME
                (WhenFn ?SCORE))
            (holdsDuring ?TIME
                (located ?PIECE ?GOAL)))))		 Mid-level-ontology.kif 15534-15546
(=>
    (and
        (instance ?GUIDE GuidingMotion)
        (patient ?GUIDE ?MOVED)
        (subProcess ?MOTION ?GUIDE)
        (instance ?MOTION Motion))
    (patient ?MOTION ?MOVED))		 ComputerInput.kif 107-113
(=>
    (and
        (instance ?GUIDE GuidingMotion)
        (subProcess ?MOTION ?GUIDE)
        (instance ?MOTION Motion)
        (patient ?MOTION ?MOVED))
    (patient ?GUIDE ?MOVED))		 ComputerInput.kif 115-121
(=>
    (and
        (instance ?MANEUVER Maneuver)
        (instance ?CONTEST ViolentContest)
        (subProcess ?MANEUVER ?CONTEST))
    (or
        (instance ?MANEUVER Attack)
        (instance ?MANEUVER DefensiveManeuver)))		 Merge.kif 12786-12793
(=>
    (and
        (instance ?OPLAN OPLAN)
        (represents ?OPLAN ?OP)
        (instance ?OP MilitaryOperation)
        (subProcess ?OPSUB ?OP))
    (represents ?OPLAN ?OPSUB))		 MilitaryProcesses.kif 1775-1781
(=>
    (and
        (instance ?P DramaticPerformance)
        (subProcess ?A ?P))
    (instance ?A DramaticActing))		 Mid-level-ontology.kif 14485-14489
(=>
    (and
        (instance ?P MusicalPerformance)
        (subProcess ?M ?P))
    (instance ?M MakingMusic))		 Mid-level-ontology.kif 14461-14465
(=>
    (and
        (instance ?PROC Process)
        (eventLocated ?PROC ?LOC)
        (subProcess ?SUB ?PROC))
    (eventLocated ?SUB ?LOC))		 Mid-level-ontology.kif 21978-21983
(=>
    (and
        (instance ?PURCHASE TransactionCollection)
        (instance ?BUYING1 Buying)
        (instance ?BUYING2 Buying)
        (subProcess ?BUYING1 ?PURCHASE)
        (subProcess ?BUYING2 ?PURCHASE)
        (agent ?PURCHASE ?AGENT)
        (instrument ?PURCHASE ?INST))
    (and
        (agent ?BUYING1 ?AGENT)
        (agent ?BUYING2 ?AGENT)
        (instrument ?BUYING1 ?INST)
        (instrument ?BUYING2 ?INST)))		 UXExperimentalTerms.kif 2149-2162
(=>
    (and
        (instance ?PURCHASE TransactionCollection)
        (instance ?BUYING1 Buying)
        (instance ?BUYING2 Buying)
        (subProcess ?BUYING1 ?PURCHASE)
        (subProcess ?BUYING2 ?PURCHASE))
    (equal
        (WhenFn ?BUYING1)
        (WhenFn ?BUYING2)))		 UXExperimentalTerms.kif 2138-2147
(=>
    (and
        (instance ?R RecreationOrExercise)
        (instrument ?R ?RM)
        (instance ?RM RowingMachine)
        (experiencer ?R ?H)
        (instance ?ROW Rowing)
        (subProcess ?RMOT ?R)
        (subclass ?C BodyMotion)
        (instance ?RMOT ?C))
    (exists (?ROWMOT)
        (and
            (instance ?ROWMOT ?C)
            (subProcess ?ROWMOT ?R)
            (agent ?ROWMOT ?H))))		 Mid-level-ontology.kif 7654-7668
(=>
    (and
        (instance ?REQUEST ViewItemRequest)
        (instance ?ACCESSING AccessingWebPage)
        (instance ?PAGE ViewItemPage)
        (instance ?AGENT Agent)
        (instance ?LISTING Advertising)
        (subProcess ?ACCESSING ?REQUEST)
        (component ?PAGE ?LISTING)
        (destination ?ACCESSING ?PAGE)
        (agent ?ACCESSING ?AGENT))
    (viewedListing ?AGENT ?LISTING))		 UXExperimentalTerms.kif 1777-1788
(=>
    (and
        (instance ?T Tornado)
        (instance ?R Rotating)
        (instance ?A Air)
        (instance ?TRAN Translocation)
        (subProcess ?R ?T)
        (subProcess ?TRAN ?R)
        (patient ?TRAN ?A)
        (direction ?TRAN Horizontal))
    (exists (?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE)
        (and
            (instance ?G GeographicArea)
            (eventLocated ?T ?G)
            (part ?FUNNEL ?A)
            (attribute ?FUNNEL ConeSegment)
            (top ?TOP ?FUNNEL)
            (bottom ?BOTTOM ?FUNNEL)
            (instance ?C Cloud)
            (bottom ?BASE ?C)
            (meetsSpatially ?TOP ?BASE)
            (meetsSpatially ?BOTTOM ?G))))		 Weather.kif 1650-1671

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(<=>
    (attribute ?MUSIC PolyphonicMusic)
    (exists (?PART1 ?PART2)
        (and
            (instance ?MUSIC MakingMusic)
            (instance ?PART1 MakingMusic)
            (instance ?PART2 MakingMusic)
            (subProcess ?PART1 ?MUSIC)
            (subProcess ?PART2 ?MUSIC)
            (not
                (equal ?PART1 ?PART2))
            (cooccur ?PART1 ?MUSIC)
            (cooccur ?PART2 ?MUSIC))))		 Mid-level-ontology.kif 695-706
(<=>
    (manner ?P Harmless)
    (and
        (not
            (instance ?P Damaging))
        (not
            (exists (?P2)
                (and
                    (instance ?P2 Damaging)
                    (subProcess ?P2 ?P))))
        (not
            (exists (?P2)
                (and
                    (instance ?P2 Damaging)
                    (causes ?P ?P2))))))		 Mid-level-ontology.kif 28711-28725
(=>
    (and
        (agent ?Purchase ?Buyer)
        (origin ?Purchase ?Seller)
        (patient ?Purchase ?Object)
        (monetaryValue ?Object ?Money))
    (exists (?Payment)
        (and
            (subProcess ?Payment ?Purchase)
            (instance ?Payment Payment)
            (transactionAmount ?Payment ?Money)
            (origin ?Payment ?Buyer)
            (destination ?Payment ?Seller))))		 FinancialOntology.kif 463-475
(=>
    (and
        (customer ?CUST ?AGENT)
        (propertyAmenity ?AGENT ?PHYS)
        (subclass ?PHYS Process))
    (modalAttribute
        (exists (?S ?LOC)
            (and
                (element ?LOC
                    (PropertyFn ?AGENT))
                (agent ?S ?AGENT)
                (patient ?S ?CUST)
                (or
                    (instance ?S ?PHYS)
                    (and
                        (instance ?PROC ?PHY)
                        (subProcess ?S ?PROC)))
                (located ?S ?LOC))) Possibility))		 Hotel.kif 502-518
(=>
    (and
        (equal ?S
            (SongFn ?MC ?LC))
        (realization ?S ?MUSIC))
    (exists (?MM ?MV)
        (and
            (patient ?MM ?MC)
            (patient ?MV ?LC)
            (subProcess ?MM ?MUSIC)
            (subProcess ?MV ?MUSIC))))		 Music.kif 863-872
(=>
    (and
        (instance ?ACT Surgery)
        (patient ?ACT ?ANIMAL))
    (exists (?SUBACT)
        (and
            (instance ?SUBACT Cutting)
            (instance ?ANIMAL Animal)
            (patient ?SUBACT ?ANIMAL)
            (subProcess ?SUBACT ?ACT))))		 Merge.kif 11645-11654
(=>
    (and
        (instance ?AMBULATE Ambulating)
        (equal ?DURATION
            (WhenFn ?AMBULATE)))
    (exists (?STEP1 ?STEPN)
        (and
            (instance ?STEP1 Stepping)
            (instance ?STEPN Stepping)
            (subProcess ?STEP1 ?AMBULATE)
            (subProcess ?STEPN ?AMBULATE)
            (starts
                (WhenFn ?STEP1) ?DURATION)
            (finishes
                (WhenFn ?STEPN) ?DURATION)
            (not
                (equal ?STEP1 ?STEPN)))))		 Mid-level-ontology.kif 458-470
(=>
    (and
        (instance ?AMBUSH Ambush)
        (agent ?AMBUSH ?AG))
    (exists (?C)
        (and
            (instance ?C Concealing)
            (subProcess ?C ?AMBUSH)
            (hasPurpose ?C
                (exists (?ATTACK)
                    (and
                        (instance ?ATTACK Attack)
                        (agent ?ATTACK ?AG)))))))		 Mid-level-ontology.kif 20265-20277
(=>
    (and
        (instance ?APR AirPhotographicReconnaissance)
        (agent ?APR ?AGENT)
        (patient ?APR ?HOSTILE))
    (exists (?PHOTOGRAPHING)
        (and
            (instance ?PHOTOGRAPHING Photographing)
            (subProcess ?PHOTOGRAPHING ?APR)
            (agent ?PHOTOGRAPHING ?AGENT)
            (patient ?PHOTOGRAPHING ?HOSTILE))))		 MilitaryProcesses.kif 753-763
(=>
    (and
        (instance ?AR AmphibiousReconnaissance)
        (agent ?AR ?AGENT))
    (exists (?LANDING)
        (and
            (subProcess ?LANDING ?AR)
            (instance ?LANDING LandingWaterLand)
            (agent ?LANDING ?AGENT))))		 MilitaryProcesses.kif 782-790
(=>
    (and
        (instance ?ARREST PlacingUnderArrest)
        (arrested ?ARREST ?AGENT)
        (instance ?AGENT GroupOfPeople)
        (member ?MEMBER ?AGENT))
    (exists (?ARREST1)
        (and
            (instance ?ARREST1 PlacingUnderArrest)
            (arrested ?ARREST1 ?MEMBER)
            (subProcess ?ARREST1 ?ARREST))))		 Mid-level-ontology.kif 21966-21976
(=>
    (and
        (instance ?Account SavingsAccount)
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account)))
    (exists (?Authorization)
        (and
            (instance ?Authorization AuthorizationOfTransaction)
            (subProcess ?Authorization ?Transaction))))		 FinancialOntology.kif 987-995
(=>
    (and
        (instance ?B Blockade)
        (instance ?C Contest)
        (subProcess ?B ?C)
        (contestParticipant ?C ?A1)
        (agent ?B ?A1))
    (exists (?C1 ?A2)
        (and
            (prevents ?C1 Translocation)
            (instance ?B ?C1)
            (contestParticipant ?C ?A2)
            (not
                (equal ?A1 ?A2))
            (desires ?A2
                (exists (?I)
                    (and
                        (instance ?I ?C1)
                        (agent ?I ?A1)
                        (subProcess ?I ?C)))))))		 Mid-level-ontology.kif 20284-20303
(=>
    (and
        (instance ?B Buying)
        (patient ?B ?ITEM)
        (origin ?B ?AGENT)
        (or
            (publishedPrice ?ENT ?PRICE ?AGENT ?PS)
            (unitPrice ?ENT ?QUANT ?AGENT ?PS))
        (subclass ?ENT Physical)
        (immediateInstance ?ITEM ?ENT)
        (validPaymentType ?PS ?PAY))
    (modalAttribute
        (exists (?PAYMENT)
            (and
                (instance ?PAYMENT ?PAY)
                (subProcess ?PAYMENT ?B))) Likely))		 Catalog.kif 328-343
(=>
    (and
        (instance ?C Coughing)
        (experiencer ?C ?H))
    (exists (?I ?E)
        (and
            (instance ?I Inhaling)
            (instance ?E Exhaling)
            (subProcess ?I ?C)
            (subProcess ?E ?C)
            (experiencer ?I ?H)
            (experiencer ?E ?H))))		 Mid-level-ontology.kif 5683-5694
(=>
    (and
        (instance ?Check VerifyingCardCode)
        (patient ?Check ?Code)
        (cardCode ?Code ?Card))
    (exists (?Decode)
        (and
            (instance ?Decode Decoding)
            (subProcess ?Decode ?Check)
            (patient ?Decode ?Code))))		 FinancialOntology.kif 3512-3521
(=>
    (and
        (instance ?D Diet)
        (realization ?P ?D))
    (exists (?E)
        (and
            (subProcess ?E ?P)
            (instance ?E Eating))))		 Mid-level-ontology.kif 19876-19883
(=>
    (and
        (instance ?DESTR PreciseDestruction)
        (patient ?DESTR ?PATIENT))
    (hasPurpose ?DESTR
        (not
            (exists (?DAMAGING)
                (and
                    (instance ?DAMAGING Damaging)
                    (subProcess ?DAMAGING ?DESTR)
                    (patient ?DAMAGING ?DAMAGED)
                    (not
                        (equal ?PATIENT ?DAMAGED)))))))		 MilitaryProcesses.kif 618-630
(=>
    (and
        (instance ?DISCOVER Discovering)
        (patient ?DISCOVER ?OBJ)
        (holdsDuring
            (WhenFn ?DISCOVER)
            (located ?OBJ ?PLACE)))
    (exists (?LEARN)
        (and
            (instance ?LEARN Learning)
            (subProcess ?LEARN ?DISCOVER)
            (patient ?LEARN
                (located ?OBJ ?PLACE)))))		 Merge.kif 11420-11429
(=>
    (and
        (instance ?DRIVE Driving)
        (patient ?DRIVE ?VEHICLE)
        (instance ?VEHICLE RoadVehicle))
    (exists (?TRANSPORT)
        (and
            (instance ?TRANSPORT TransportViaRoadVehicle)
            (subProcess ?TRANSPORT ?DRIVE))))		 Mid-level-ontology.kif 22037-22045
(=>
    (and
        (instance ?DUSTSTORM DustStorm)
        (instance ?WIND Wind)
        (subProcess ?DUSTSTORM ?WIND))
    (exists (?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)
        (and
            (instance ?A1 LandArea)
            (eventLocated ?WIND ?A1)
            (surfaceWindSpeed ?A1
                (MeasureFn ?STRONG KnotUnitOfSpeed))
            (greaterThan ?STRONG 30)
            (instance ?TRANSLOCATE Translocation)
            (subProcess ?TRANSLOCATE ?DUSTSTORM)
            (objectTransferred ?TRANSLOCATE ?PM)
            (objectTransferred ?TRANSLOCATE ?SAND)
            (instance ?PM ParticulateMatter)
            (instance ?SAND Sand)
            (instance ?A2 LandArea)
            (destination ?TRANSLOCATE ?A2)
            (not
                (overlapsSpatially ?A1 ?A2)))))		 Weather.kif 1273-1294
(=>
    (and
        (instance ?E Edema)
        (experiencer ?E ?A))
    (exists (?T ?P ?L)
        (and
            (instance ?T Transfer)
            (instance ?L Liquid)
            (instance ?P BodyPart)
            (part ?P ?A)
            (destination ?T ?P)
            (moves ?T ?L)
            (subProcess ?T ?E))))		 Mid-level-ontology.kif 9114-9126
(=>
    (and
        (instance ?E Extension)
        (moves ?E ?BP))
    (exists (?M ?MC)
        (and
            (instance ?M Muscle)
            (instance ?MC MuscularContraction)
            (instrument ?E ?M)
            (connected ?M ?BP)
            (subProcess ?MC ?E))))		 Mid-level-ontology.kif 9492-9502
(=>
    (and
        (instance ?ELT ExperiencingALumpInTheThroat)
        (experiencer ?ELT ?A))
    (exists (?P)
        (and
            (instance ?P Perception)
            (subProcess ?P ?ELT)
            (agent ?P ?A)
            (patient ?P ?T)
            (instance ?T Throat)
            (part ?T ?A))))		 emotion.kif 1685-1696
(=>
    (and
        (instance ?ELT ExperiencingDiscomfortInTheStomach)
        (experiencer ?ELT ?A))
    (exists (?P)
        (and
            (instance ?P Perception)
            (holdsDuring
                (WhenFn ?P)
                (attribute ?A Pain))
            (subProcess ?P ?ELT)
            (agent ?P ?A)
            (patient ?P ?T)
            (instance ?T Stomach)
            (part ?T ?A))))		 emotion.kif 1558-1572

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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