| appearance as argument number 1 |
|
| s__documentation(s__subProcess__m,s__ChineseLanguage,'(subProcess ?SUBPROC ?PROC)的意思是 ?SUBPROC 是 ?PROC 的子过程。在这里，一个子过程可以理解为一个 Process 暂时可区分的(真整或非真整的)部分。')
|
Merge.kif 10109-10110 | |
| s__documentation(s__subProcess__m,s__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 10106-10108 | |
| s__domain(s__subProcess__m,1,s__Process)
|
Merge.kif 10104-10104 | |
| s__domain(s__subProcess__m,2,s__Process)
|
Merge.kif 10105-10105 | |
| s__instance(s__BinaryPredicate,s__SetOrClass)
|
Merge.kif 10102-10102 | |
| s__instance(s__PartialOrderingRelation,s__SetOrClass)
|
Merge.kif 10103-10103 |
| appearance as argument number 2 |
|
|
| s__format(s__ChineseLanguage,s__subProcess__m,'%1%n是%2的subProcess') | chinese_format.kif 573-573 | |
| s__format(s__EnglishLanguage,s__subProcess__m,'%1 is %n a subprocess of %2')
|
english_format.kif 351-351 | |
| s__format(s__FrenchLanguage,s__subProcess__m,'%1 est %n un sous-processus de %2')
|
french_format.kif 340-340 | |
| s__format(s__ItalianLanguage,s__subProcess__m,'%1 � %n un sottoprocesso di %2')
|
relations-it.txt 277-277 | |
| s__format(s__PortugueseLanguage,s__subProcess__m,'%1 e %n um sub-processo de %2')
|
portuguese_format.kif 292-292 | |
| s__format(s__cz__m,s__subProcess__m,'%1 %p{je} %n{nen�} a subprocess of %2')
|
relations-cz.txt 348-348 | |
| s__format(s__de__m,s__subProcess__m,'%1 ist ein subProzess von %2')
|
relations-de.txt 752-752 | |
| s__format(s__hi__m,s__subProcess__m,'%1 %2 kii upaprakriyaa hai')
|
relations-hindi.txt 314-314 | |
| s__format(s__tg__m,s__subProcess__m,'%1 %n ay ang paraan mas baba ng %2')
|
relations-tg.txt 469-469 | |
| s__termFormat(s__ChineseLanguage,s__subProcess__m,'子过程')
|
chinese_format.kif 574-574 | |
| s__termFormat(s__EnglishLanguage,s__subProcess__m,'sub process')
|
domainEnglishFormat.kif 9720-9720 |
| antecedent |
|
|
| ( ! [V__ACTOR,V__DRAMA,V__SPEAK,V__VIEWER] : ((s__attribute(V__ACTOR,s__VoiceActor) & s__instance(V__DRAMA,s__DramaticActing) & s__agent(V__DRAMA,V__ACTOR) & s__instance(V__SPEAK,s__LinguisticCommunication) & s__agent(V__SPEAK,V__ACTOR) & s__subProcess(V__SPEAK,V__DRAMA)) => ((~ (? [V__S] : (s__instance(V__S,s__Seeing) & s__patient(V__S,V__ACTOR) & s__agent(V__S,V__VIEWER)))) & (? [V__H] : (s__instance(V__H,s__Hearing) & s__patient(V__H,V__ACTOR) & s__agent(V__H,V__VIEWER))))) )
|
Biography.kif 518-537 | |
| ( ! [V__ROOM,V__PROC,V__R,V__GUEST,V__HOTEL,V__P,V__S] : ((s__freeRoomAmenity(V__ROOM,V__PROC) & s__subclass(V__PROC,s__Process) & s__instance(V__R,V__ROOM) & s__stays(V__GUEST,V__R) & s__element(V__R,s__PropertyFn(V__HOTEL)) & (s__instance(V__P,V__PROC) | (s__instance(V__S,V__PROC) & s__subProcess(V__P,V__S))) & s__located(V__P,V__R)) => s__price(V__P,s__MeasureFn(0,s__UnitedStatesDollar),V__HOTEL)) )
|
Hotel.kif 350-363 | |
| ( ! [V__A,V__S1,V__S2,V__S1_START,V__S2_START] : ((s__instance(V__A,s__Ambulating) & s__subProcess(V__S1,V__A) & s__instance(V__S1,s__Stepping) & s__subProcess(V__S2,V__A) & s__instance(V__S2,s__Stepping) & (V__S1_START = s__BeginFn(s__WhenFn(V__S1))) & (V__S2_START = s__BeginFn(s__WhenFn(V__S2))) & (~ (s__before(V__S1_START,V__S2_START) | s__before(V__S2_START,V__S1_START)))) => (V__S1 = V__S2)) )
|
Mid-level-ontology.kif 676-689 | |
| ( ! [V__ACCESSING,V__PAGE,V__TRANSFER,V__SERVER,V__REQUESTING,V__BROWSER,V__INTERVAL] : ((s__instance(V__ACCESSING,s__AccessingWebPage) & s__instance(V__PAGE,s__WebPage) & s__instance(V__TRANSFER,s__DataTransfer) & s__instance(V__SERVER,s__Server) & s__instance(V__REQUESTING,s__Requesting) & s__instance(V__BROWSER,s__WebBrowser) & s__instance(V__INTERVAL,s__TimeInterval) & s__patient(V__ACCESSING,V__PAGE) & s__agent(V__REQUESTING,V__BROWSER) & s__destination(V__REQUESTING,V__SERVER) & s__patient(V__REQUESTING,V__PAGE) & s__origin(V__TRANSFER,V__SERVER) & s__destination(V__TRANSFER,V__BROWSER) & s__patient(V__TRANSFER,V__PAGE) & s__subProcess(V__TRANSFER,V__ACCESSING) & s__subProcess(V__REQUESTING,V__ACCESSING) & (s__EndFn(s__WhenFn(V__REQUESTING)) = s__BeginFn(V__INTERVAL)) & (s__EndFn(s__WhenFn(V__TRANSFER)) = s__EndFn(V__INTERVAL))) => (s__SiteSpeedFn(V__ACCESSING) = V__INTERVAL)) )
|
UXExperimentalTerms.kif 3954-3979 | |
| ( ! [V__AMBULATE,V__STEP,V__AGENT] : ((s__instance(V__AMBULATE,s__Ambulating) & s__instance(V__STEP,s__Stepping) & s__subProcess(V__STEP,V__AMBULATE) & s__agent(V__AMBULATE,V__AGENT)) => s__agent(V__STEP,V__AGENT)) )
|
Mid-level-ontology.kif 692-698 | |
| ( ! [V__AMBULATE,V__STEP,V__AGENT] : ((s__instance(V__AMBULATE,s__Ambulating) & s__instance(V__STEP,s__Stepping) & s__subProcess(V__STEP,V__AMBULATE) & s__agent(V__STEP,V__AGENT)) => s__agent(V__AMBULATE,V__AGENT)) )
|
Mid-level-ontology.kif 701-707 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19503-19522 | |
| No TPTP formula. May not be expressible in strict first order. | TravelPolicies.kif 869-884 | |
| No TPTP formula. May not be expressible in strict first order. | TravelPolicies.kif 887-902 | |
| No TPTP formula. May not be expressible in strict first order. | TravelPolicies.kif 980-995 | |
| No TPTP formula. May not be expressible in strict first order. | TravelPolicies.kif 1106-1124 | |
| No TPTP formula. May not be expressible in strict first order. | TravelPolicies.kif 1179-1194 | |
| ( ! [V__DRIVING,V__TRANSPORT,V__DRIVER] : ((s__instance(V__DRIVING,s__Driving) & s__subProcess(V__TRANSPORT,V__DRIVING) & s__instance(V__TRANSPORT,s__Transportation) & s__agent(V__DRIVING,V__DRIVER)) => s__transported(V__TRANSPORT,V__DRIVER)) )
|
Mid-level-ontology.kif 21457-21463 | |
| ( ! [V__DRIVING,V__TRANSPORT,V__DEST] : ((s__instance(V__DRIVING,s__Driving) & s__subProcess(V__TRANSPORT,V__DRIVING) & s__instance(V__TRANSPORT,s__Transportation) & s__destination(V__DRIVING,V__DEST)) => s__destination(V__TRANSPORT,V__DEST)) )
|
Mid-level-ontology.kif 21465-21471 | |
| ( ! [V__DRIVING,V__TRANSPORT,V__VEHICLE] : ((s__instance(V__DRIVING,s__Driving) & s__subProcess(V__TRANSPORT,V__DRIVING) & s__instance(V__TRANSPORT,s__Transportation) & s__instance(V__VEHICLE,s__Vehicle) & s__patient(V__DRIVING,V__VEHICLE)) => s__conveyance(V__TRANSPORT,V__VEHICLE)) )
|
Mid-level-ontology.kif 21473-21480 | |
| ( ! [V__G,V__P] : ((s__instance(V__G,s__Baseball) & s__instance(V__P,s__Pitching) & s__subProcess(V__P,V__G)) => (? [V__M] : (s__instance(V__M,s__PitchersMound) & s__origin(V__P,V__M)))) )
|
Sports.kif 548-556 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14604-14616 | |
| ( ! [V__GUIDE,V__MOVED,V__MOTION] : ((s__instance(V__GUIDE,s__GuidingMotion) & s__patient(V__GUIDE,V__MOVED) & s__subProcess(V__MOTION,V__GUIDE) & s__instance(V__MOTION,s__Motion)) => s__patient(V__MOTION,V__MOVED)) )
|
ComputerInput.kif 106-112 | |
| ( ! [V__GUIDE,V__MOTION,V__MOVED] : ((s__instance(V__GUIDE,s__GuidingMotion) & s__subProcess(V__MOTION,V__GUIDE) & s__instance(V__MOTION,s__Motion) & s__patient(V__MOTION,V__MOVED)) => s__patient(V__GUIDE,V__MOVED)) )
|
ComputerInput.kif 114-120 | |
| ( ! [V__MANEUVER,V__CONTEST] : ((s__instance(V__MANEUVER,s__Maneuver) & s__instance(V__CONTEST,s__ViolentContest) & s__subProcess(V__MANEUVER,V__CONTEST)) => (s__instance(V__MANEUVER,s__Attack) | s__instance(V__MANEUVER,s__DefensiveManeuver))) )
|
Merge.kif 13389-13396 | |
| ( ! [V__OPLAN,V__OP,V__OPSUB] : ((s__instance(V__OPLAN,s__OPLAN) & s__represents(V__OPLAN,V__OP) & s__instance(V__OP,s__MilitaryOperation) & s__subProcess(V__OPSUB,V__OP)) => s__represents(V__OPLAN,V__OPSUB)) )
|
MilitaryProcesses.kif 1762-1768 | |
| ( ! [V__P,V__A] : ((s__instance(V__P,s__DramaticPerformance) & s__subProcess(V__A,V__P)) => s__instance(V__A,s__DramaticActing)) )
|
Mid-level-ontology.kif 13613-13617 | |
| ( ! [V__P,V__M] : ((s__instance(V__P,s__MusicalPerformance) & s__subProcess(V__M,V__P)) => s__instance(V__M,s__MakingMusic)) )
|
Mid-level-ontology.kif 13589-13593 | |
| ( ! [V__PROC,V__LOC,V__SUB] : ((s__instance(V__PROC,s__Process) & s__eventLocated(V__PROC,V__LOC) & s__subProcess(V__SUB,V__PROC)) => s__eventLocated(V__SUB,V__LOC)) )
|
Mid-level-ontology.kif 21386-21391 | |
| ( ! [V__PURCHASE,V__BUYING1,V__BUYING2,V__AGENT,V__INST] : ((s__instance(V__PURCHASE,s__TransactionCollection) & s__instance(V__BUYING1,s__Buying) & s__instance(V__BUYING2,s__Buying) & s__subProcess(V__BUYING1,V__PURCHASE) & s__subProcess(V__BUYING2,V__PURCHASE) & s__agent(V__PURCHASE,V__AGENT) & s__instrument(V__PURCHASE,V__INST)) => (s__agent(V__BUYING1,V__AGENT) & s__agent(V__BUYING2,V__AGENT) & s__instrument(V__BUYING1,V__INST) & s__instrument(V__BUYING2,V__INST))) )
|
UXExperimentalTerms.kif 2146-2159 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| ( ! [V__MUSIC] : (s__attribute(V__MUSIC,s__PolyphonicMusic) <=> (? [V__PART1,V__PART2] : (s__instance(V__MUSIC,s__MakingMusic) & s__instance(V__PART1,s__MakingMusic) & s__instance(V__PART2,s__MakingMusic) & s__subProcess(V__PART1,V__MUSIC) & s__subProcess(V__PART2,V__MUSIC) & (~ (V__PART1 = V__PART2)) & s__cooccur(V__PART1,V__MUSIC) & s__cooccur(V__PART2,V__MUSIC)))) )
|
Mid-level-ontology.kif 927-938 | |
| ( ! [V__P] : (s__manner(V__P,s__Harmless) <=> ((~ s__instance(V__P,s__Damaging)) & (~ (? [V__P2] : (s__instance(V__P2,s__Damaging) & s__subProcess(V__P2,V__P)))) & (~ (? [V__P2] : (s__instance(V__P2,s__Damaging) & s__causes(V__P,V__P2)))))) )
|
Mid-level-ontology.kif 28355-28369 | |
| ( ! [V__Purchase,V__Buyer,V__Seller,V__Object,V__Money] : ((s__agent(V__Purchase,V__Buyer) & s__origin(V__Purchase,V__Seller) & s__patient(V__Purchase,V__Object) & s__monetaryValue(V__Object,V__Money)) => (? [V__Payment] : (s__subProcess(V__Payment,V__Purchase) & s__instance(V__Payment,s__Payment) & s__transactionAmount(V__Payment,V__Money) & s__destination(V__Payment,V__Seller)))) )
|
FinancialOntology.kif 465-476 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 495-510 | |
| ( ! [V__S,V__MC,V__LC,V__MUSIC] : (((V__S = s__SongFn(V__MC,V__LC)) & s__realization(V__S,V__MUSIC)) => (? [V__MM,V__MV] : (s__patient(V__MM,V__MC) & s__patient(V__MV,V__LC) & s__subProcess(V__MM,V__MUSIC) & s__subProcess(V__MV,V__MUSIC)))) )
|
Music.kif 869-878 | |
| ( ! [V__ACT,V__ANIMAL] : ((s__instance(V__ACT,s__Surgery) & s__patient(V__ACT,V__ANIMAL)) => (? [V__SUBACT] : (s__instance(V__SUBACT,s__Cutting) & s__instance(V__ANIMAL,s__Animal) & s__patient(V__SUBACT,V__ANIMAL) & s__subProcess(V__SUBACT,V__ACT)))) )
|
Merge.kif 12135-12144 | |
| ( ! [V__AMBULATE,V__DURATION] : ((s__instance(V__AMBULATE,s__Ambulating) & (V__DURATION = s__WhenFn(V__AMBULATE))) => (? [V__STEP1,V__STEPN] : (s__instance(V__STEP1,s__Stepping) & s__instance(V__STEPN,s__Stepping) & s__subProcess(V__STEP1,V__AMBULATE) & s__subProcess(V__STEPN,V__AMBULATE) & s__starts(s__WhenFn(V__STEP1) ,V__DURATION) & s__finishes(s__WhenFn(V__STEPN) ,V__DURATION) & (~ (V__STEP1 = V__STEPN))))) )
|
Mid-level-ontology.kif 661-673 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19484-19496 | |
| ( ! [V__APR,V__AGENT,V__HOSTILE] : ((s__instance(V__APR,s__AirPhotographicReconnaissance) & s__agent(V__APR,V__AGENT) & s__patient(V__APR,V__HOSTILE)) => (? [V__PHOTOGRAPHING] : (s__instance(V__PHOTOGRAPHING,s__Photographing) & s__subProcess(V__PHOTOGRAPHING,V__APR) & s__agent(V__PHOTOGRAPHING,V__AGENT) & s__patient(V__PHOTOGRAPHING,V__HOSTILE)))) )
|
MilitaryProcesses.kif 742-752 | |
| ( ! [V__AR,V__AGENT] : ((s__instance(V__AR,s__AmphibiousReconnaissance) & s__agent(V__AR,V__AGENT)) => (? [V__LANDING] : (s__subProcess(V__LANDING,V__AR) & s__instance(V__LANDING,s__LandingWaterLand) & s__agent(V__LANDING,V__AGENT)))) )
|
MilitaryProcesses.kif 771-779 | |
| ( ! [V__ARREST,V__AGENT,V__MEMBER] : ((s__instance(V__ARREST,s__PlacingUnderArrest) & s__arrested(V__ARREST,V__AGENT) & s__instance(V__AGENT,s__GroupOfPeople) & s__member(V__MEMBER,V__AGENT)) => (? [V__ARREST1] : (s__instance(V__ARREST1,s__PlacingUnderArrest) & s__arrested(V__ARREST1,V__MEMBER) & s__subProcess(V__ARREST1,V__ARREST)))) )
|
Mid-level-ontology.kif 21374-21384 | |
| ( ! [V__Account,V__Transaction] : ((s__instance(V__Account,s__SavingsAccount) & s__instance(V__Transaction,s__FinancialTransaction) & s__origin(V__Transaction,s__CurrencyFn(V__Account))) => (? [V__Authorization] : (s__instance(V__Authorization,s__AuthorizationOfTransaction) & s__subProcess(V__Authorization,V__Transaction)))) )
|
FinancialOntology.kif 978-986 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19503-19522 | |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 322-337 | |
| ( ! [V__BT,V__EMPLOYEE] : ((s__instance(V__BT,s__BusinessTrip) & s__agent(V__BT,V__EMPLOYEE)) => (? [V__AS,V__H] : (s__instance(V__AS,s__AccommodationService) & s__subProcess(V__AS,V__BT) & s__serviceRecipient(V__AS,V__EMPLOYEE) & s__serviceProvider(V__AS,V__H) & s__instance(V__H,s__Hotel_Organization)))) )
|
TravelPolicies.kif 716-726 | |
| ( ! [V__Check,V__Code,V__Card] : ((s__instance(V__Check,s__VerifyingCardCode) & s__patient(V__Check,V__Code) & s__cardCode(V__Code,V__Card)) => (? [V__Decode] : (s__instance(V__Decode,s__Decoding) & s__subProcess(V__Decode,V__Check) & s__patient(V__Decode,V__Code)))) )
|
FinancialOntology.kif 3463-3472 | |
| ( ! [V__D,V__P] : ((s__instance(V__D,s__Diet) & s__realization(V__P,V__D)) => (? [V__E] : (s__subProcess(V__E,V__P) & s__instance(V__E,s__Eating)))) )
|
Mid-level-ontology.kif 19111-19118 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 607-619 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11871-11880 | |
| ( ! [V__DRIVE,V__VEHICLE] : ((s__instance(V__DRIVE,s__Driving) & s__patient(V__DRIVE,V__VEHICLE) & s__instance(V__VEHICLE,s__RoadVehicle)) => (? [V__TRANSPORT] : (s__instance(V__TRANSPORT,s__TransportViaRoadVehicle) & s__subProcess(V__TRANSPORT,V__DRIVE)))) )
|
Mid-level-ontology.kif 21447-21455 | |
| ( ! [V__ELT,V__A,V__T] : ((s__instance(V__ELT,s__ExperiencingALumpInTheThroat) & s__experiencer(V__ELT,V__A)) => (? [V__P] : (s__instance(V__P,s__Perception) & s__subProcess(V__P,V__ELT) & s__agent(V__P,V__A) & s__patient(V__P,V__T) & s__instance(V__T,s__Throat) & s__part(V__T,V__A)))) )
|
emotion.kif 1672-1683 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1545-1559 | |
| ( ! [V__ELT,V__A,V__T] : ((s__instance(V__ELT,s__ExperiencingHeatInCheeksOrChest) & s__experiencer(V__ELT,V__A)) => (? [V__P] : (s__instance(V__P,s__Perception) & s__subProcess(V__P,V__ELT) & s__agent(V__P,V__A) & s__patient(V__P,V__T) & (s__instance(V__T,s__Torso) | s__instance(V__T,s__Face)) & s__part(V__T,V__A)))) )
|
emotion.kif 1695-1708 | |
| ( ! [V__EV,V__A,V__P] : ((s__instance(V__EV,s__Evacuation) & s__agent(V__EV,V__A) & s__experiencer(V__EV,V__P)) => (? [V__C,V__CA] : (s__instance(V__C,s__Classifying) & s__subProcess(V__C,V__EV) & s__experiencer(V__C,V__P) & (s__subOrganization(V__CA,V__A) | s__member(V__CA,V__A) | (V__CA = V__A)) & s__agent(V__C,V__CA)))) )
|
MilitaryProcesses.kif 2576-2590 | |
| ( ! [V__EV,V__A,V__O] : ((s__instance(V__EV,s__Evacuation) & s__agent(V__EV,V__A) & s__origin(V__EV,V__O)) => (? [V__T,V__TA] : (s__instance(V__T,s__Translocation) & s__subProcess(V__T,V__EV) & s__origin(V__T,V__O) & (s__experiencer(V__T,V__TA) | s__agent(V__T,V__TA)) & (s__subOrganization(V__TA,V__A) | s__member(V__TA,V__A) | (V__TA = V__A))))) )
|
MilitaryProcesses.kif 2594-2610 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 0 |
|
|
| s__subProcess(s__CivilAffairsActivity,s__CivilAffairsOperation)
|
MilitaryProcesses.kif 2340-2340 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners