origin - Sigma Knowledge base Browser

appearance as argument number 1

(documentation origin ChineseLanguage "(origin ?PROCESS ?SOURCE) 的意思是 ?SOURCE 指出 ?Process 从哪开始。注：这个关系意味着 ?SOURCE 在过程开始时是存在的，但是它不一定有参与整个过程中。例如：在以下'导弹是从潜艇发射的'这命题，潜艇是个 origin。")	chinese_format.kif 1879-1881
(documentation origin EnglishLanguage "(origin ?PROCESS ?SOURCE) means that ?SOURCE indicates where the ?Process began. Note that this relation implies that ?SOURCE is present at the beginning of the process, but need not participate throughout the process. For example, the submarine is the origin in the following proposition: the missile was launched from a submarine.")	Merge.kif 2432-2437
(domain origin 1 Process)	Merge.kif 2428-2428	domain origin, 1 and Process
(domain origin 2 Object)	Merge.kif 2429-2429	domain origin, 2 and Object
(instance origin CaseRole)	Merge.kif 2426-2426	instance origin and CaseRole
(instance origin PartialValuedRelation)	Merge.kif 2427-2427	instance origin and PartialValuedRelation
(subrelation origin involvedInEvent)	Merge.kif 2430-2430	subrelation origin and involvedInEvent

appearance as argument number 2

(format ChineseLanguage origin "%2 %n 是 %1 的源头")	chinese_format.kif 159-159
(format EnglishLanguage origin "%1 %n{doesn't} originate%p{s} at %2")	english_format.kif 160-160
(termFormat ChineseLanguage origin "源头")	chinese_format.kif 160-160
(termFormat ChineseLanguage origin "起源")	domainEnglishFormat.kif 42565-42565
(termFormat ChineseTraditionalLanguage origin "起源")	domainEnglishFormat.kif 42564-42564
(termFormat EnglishLanguage origin "origin")	domainEnglishFormat.kif 42563-42563

antecedent

(<=> (and (instance ?Withdrawal Withdrawal) (instance ?Account FinancialAccount) (origin ?Withdrawal (CurrencyFn ?Account)) (not (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?Account)) (causes ?Withdrawal ?Penalty))))) (liquidity ?Account HighLiquidity))	FinancialOntology.kif 1829-1839	instance Process and Withdrawal instance FinancialAccount and FinancialAccount origin Process and CurrencyFn FinancialAccount Process instance Process and Penalty destination Process and CurrencyFn FinancialAccount causes Process and Process liquidity FinancialAccount and HighLiquidity
(=> (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 487-499	agent Process and Agent origin Process and Object patient Process and Physical monetaryValue Physical and CurrencyMeasure FinancialTransaction subProcess FinancialTransaction and Process instance FinancialTransaction and Payment transactionAmount FinancialTransaction and CurrencyMeasure origin FinancialTransaction and Agent destination FinancialTransaction and Object
(=> (and (betweenOnPath ?O1 ?O2 ?O3 ?PATH) (instance ?T Transfer) (path ?T ?PATH) (origin ?T ?O1) (destination ?T ?O3)) (and (beforeOnPath ?O1 ?O2 ?PATH ?T) (beforeOnPath ?O2 ?O3 ?PATH ?T)))	Mid-level-ontology.kif 29191-29200	betweenOnPath Object, Object, Object and Object instance Transfer and Transfer path Transfer and Object origin Transfer and Object destination Transfer and Object beforeOnPath Object, Object, Object and Transfer beforeOnPath Object, Object, Object and Transfer
(=> (and (customer ?CUST ?AGENT) (corkageFee ?AMT ?ITEM ?AGENT) (instance ?X ?ITEM) (not (exists (?B) (and (instance ?B Buying) (patient ?B ?X) (destination ?B ?CUST) (origin ?B ?AGENT)))) (instance ?D Drinking) (agent ?D ?CUST) (resource ?D ?X)) (exists (?C) (and (instance ?C Corkage) (agent ?C ?CUST) (refers ?C ?X) (destination ?C ?AGENT))))	Dining.kif 130-150	customer CognitiveAgent and CognitiveAgent corkageFee CurrencyMeasure, Object and CognitiveAgent instance Object and Object Process instance Process and Buying patient Process and Object destination Process and CognitiveAgent origin Process and CognitiveAgent instance Process and Drinking agent Process and CognitiveAgent resource Process and Object Process instance Process and Corkage agent Process and CognitiveAgent refers Process and Object destination Process and CognitiveAgent
(=> (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	instance AccessingWebPage and AccessingWebPage instance Entity and WebPage instance Process and DataTransfer instance Object and Server instance Process and Requesting instance Agent and WebBrowser instance TimeInterval and TimeInterval patient AccessingWebPage and Entity agent Process and Agent destination Process and Object patient Process and Entity origin Process and Object destination Process and Agent patient Process and Entity subProcess Process and AccessingWebPage subProcess Process and AccessingWebPage equal EndFn WhenFn Process and BeginFn TimeInterval equal EndFn WhenFn Process and EndFn TimeInterval equal SiteSpeedFn AccessingWebPage and TimeInterval
(=> (and (instance ?Account CheckingAccount) (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account))) (or (exists (?Check) (and (instance ?Check Check) (instrument ?Transaction ?Check))) (exists (?DebitCard) (and (instance ?DebitCard DebitCard) (instrument ?Transaction ?DebitCard)))))	FinancialOntology.kif 1128-1141	instance FinancialAccount and CheckingAccount instance Process and FinancialTransaction origin Process and CurrencyFn FinancialAccount Object instance Object and Check instrument Process and Object Object instance Object and DebitCard instrument Process and Object
(=> (and (instance ?Account CreditCardAccount) (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account))) (exists (?Card) (and (instance ?Card CreditCard) (instrument ?Transaction ?Card))))	FinancialOntology.kif 1238-1246	instance FinancialAccount and CreditCardAccount instance Process and FinancialTransaction origin Process and CurrencyFn FinancialAccount Object instance Object and CreditCard instrument Process and Object
(=> (and (instance ?Account SavingsAccount) (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account))) (exists (?Authorization) (and (instance ?Authorization AuthorizationOfTransaction) (subProcess ?Authorization ?Transaction))))	FinancialOntology.kif 1032-1040	instance FinancialAccount and SavingsAccount instance Process and FinancialTransaction origin Process and CurrencyFn FinancialAccount Process instance Process and AuthorizationOfTransaction subProcess Process and Process
(=> (and (instance ?Account TraditionalSavingsAccount) (instance ?Withdrawal Withdrawal) (origin ?Withdrawal (CurrencyFn ?Account))) (not (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?Account)) (causes ?Withdrawal ?Penalty)))))	FinancialOntology.kif 1114-1123	instance FinancialAccount and TraditionalSavingsAccount instance Process and Withdrawal origin Process and CurrencyFn FinancialAccount Process instance Process and Penalty destination Process and CurrencyFn FinancialAccount causes Process and Process
(=> (and (instance ?B Birth) (origin ?B ?F)) (exists (?Z ?T) (and (instance ?Z Zygote) (earlier ?T (WhenFn ?B)) (holdsDuring ?T (located ?Z ?F)))))	Mid-level-ontology.kif 23458-23467	instance Process and Birth origin Process and Object Entity TimeInterval instance Entity and Zygote earlier TimeInterval and WhenFn Process holdsDuring TimeInterval and located Entity and Object
(=> (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 332-347	instance Process and Buying patient Process and Entity origin Process and CognitiveAgent publishedPrice Entity, CurrencyMeasure, CognitiveAgent and PricingScheme unitPrice Entity, FunctionQuantity, CognitiveAgent and PricingScheme subclass Entity and Physical immediateInstance Entity and Entity validPaymentType PricingScheme and Payment modalAttribute PaymentMENT instance PaymentMENT and Payment subProcess PaymentMENT and Process and Likely
(=> (and (instance ?BORROW Borrowing) (agent ?BORROW ?AGENT1) (origin ?BORROW ?AGENT2) (patient ?BORROW ?OBJECT)) (exists (?LEND) (and (instance ?LEND Lending) (agent ?LEND ?AGENT2) (destination ?LEND ?AGENT1) (patient ?LEND ?OBJECT))))	Merge.kif 11570-11581	instance Process and Borrowing agent Process and Agent origin Process and Agent patient Process and Entity Process instance Process and Lending agent Process and Agent destination Process and Agent patient Process and Entity
(=> (and (instance ?BUY Buying) (agent ?BUY ?AGENT1) (origin ?BUY ?AGENT2) (patient ?BUY ?OBJECT)) (exists (?SELL) (and (instance ?SELL Selling) (agent ?SELL ?AGENT2) (destination ?SELL ?AGENT1) (patient ?SELL ?OBJECT))))	Merge.kif 11757-11768	instance Process and Buying agent Process and Agent origin Process and Agent patient Process and Entity Process instance Process and Selling agent Process and Agent destination Process and Agent patient Process and Entity
(=> (and (instance ?CD CertificateOfDeposit) (maturityDate ?CD ?MaturityDate) (instance ?Withdrawal Withdrawal) (origin ?Withdrawal (CurrencyFn ?CD)) (date ?Withdrawal ?DateOfWithdrawal) (before (EndFn ?DateOfWithdrawal) (BeginFn ?MaturityDate))) (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?CD)) (causes ?Withdrawal ?Penalty))))	FinancialOntology.kif 1086-1098	instance FinancialAccount and CertificateOfDeposit maturityDate FinancialAccount and Day instance Process and Withdrawal origin Process and CurrencyFn FinancialAccount date Process and Day before EndFn Day and BeginFn Day Process instance Process and Penalty destination Process and CurrencyFn FinancialAccount causes Process and Process
(=> (and (instance ?CHANGE ChangeOfPossession) (origin ?CHANGE ?AGENT1) (destination ?CHANGE ?AGENT2) (instance ?AGENT1 Agent) (instance ?AGENT2 Agent) (patient ?CHANGE ?OBJ)) (and (holdsDuring (BeginFn (WhenFn ?CHANGE)) (possesses ?AGENT1 ?OBJ)) (holdsDuring (EndFn (WhenFn ?CHANGE)) (possesses ?AGENT2 ?OBJ))))	Merge.kif 11495-11505	instance Process and ChangeOfPossession origin Process and Object destination Process and Entity instance Object and Agent instance Entity and Agent patient Process and Entity holdsDuring BeginFn WhenFn Process and possesses Object and Entity holdsDuring EndFn WhenFn Process and possesses Entity and Entity
(=> (and (instance ?D DeliveryService) (origin ?D ?LOC1) (destination ?D ?LOC2)) (not (equal ?LOC1 ?LOC2)))	Dining.kif 519-524	instance Process and DeliveryService origin Process and Object destination Process and Entity equal Object and Entity
(=> (and (instance ?DROP Falling) (origin ?DROP ?START) (destination ?DROP ?FINISH)) (orientation ?FINISH ?START Below))	Merge.kif 11426-11431	instance Process and Falling origin Process and Object destination Process and Object orientation Object, Object and Below
(=> (and (instance ?E Exhaust) (material Fuel ?E) (instance ?T Transfer) (instance ?ENG Engine) (origin ?T ?ENG) (instance ?CC CatalyticConverter) (destination ?T ?CC) (objectTransferred ?T ?E)) (hasPurpose ?CC (exists (?C) (and (instance ?C Combustion) (instrument ?C ?CC) (patient ?C ?E) (eventLocated ?C ?CC)))))	Cars.kif 1717-1733	instance CorpuscularObject and Exhaust material Fuel and CorpuscularObject instance Transfer and Transfer instance CorpuscularObjectNG and Engine origin Transfer and CorpuscularObjectNG instance Physical and CatalyticConverter destination Transfer and Physical objectTransferred Transfer and CorpuscularObject hasPurpose Physical and entity instance entity and Combustion instrument entity and Physical patient entity and CorpuscularObject eventLocated entity and Physical
(=> (and (instance ?EV Evacuation) (agent ?EV ?A) (origin ?EV ?O)) (exists (?T ?TA) (and (instance ?T Translocation) (subProcess ?T ?EV) (origin ?T ?O) (or (experiencer ?T ?TA) (agent ?T ?TA)) (or (subOrganization ?TA ?A) (member ?TA ?A) (equal ?TA ?A)))))	MilitaryProcesses.kif 2626-2642	instance Process and Evacuation agent Process and Organization origin Process and Object Process ProcessA instance Process and Translocation subProcess Process and Process origin Process and Object experiencer Process and ProcessA agent Process and ProcessA ProcessA は組織 Organization の一部では %n member ProcessA and Organization equal ProcessA and Organization
(=> (and (instance ?EV Evacuation) (origin ?EV ?O) (agent ?EV ?A)) (exists (?M ?MA) (and (instance ?M Maintaining) (eventLocated ?M ?O) (subProcess ?M ?EV) (or (subOrganization ?MA ?A) (member ?MA ?A) (equal ?MA ?A)) (agent ?M ?MA))))	MilitaryProcesses.kif 2572-2586	instance Process and Evacuation origin Process and Object agent Process and Organization Process ProcessA instance Process and Maintaining eventLocated Process and Object subProcess Process and Process ProcessA は組織 Organization の一部では %n member ProcessA and Organization equal ProcessA and Organization agent Process and ProcessA
(=> (and (instance ?EV Evacuation) (origin ?EV ?O) (agent ?EV ?A)) (exists (?T ?TA) (and (instance ?T Transportation) (destination ?T ?O) (or (subOrganization ?TA ?A) (member ?TA ?A) (equal ?TA ?A)) (or (agent ?T ?TA) (patient ?T ?TA)))))	MilitaryProcesses.kif 2553-2568	instance Process and Evacuation origin Process and Object agent Process and Organization Process ProcessA instance Process and Transportation destination Process and Object ProcessA は組織 Organization の一部では %n member ProcessA and Organization equal ProcessA and Organization agent Process and ProcessA patient Process and ProcessA
(=> (and (instance ?EV Evacuation) (origin ?EV ?OR) (agent ?EV ?A)) (exists (?P) (and (instance ?P Process) (geographicSubregion ?OR (WhereFn ?P (BeginFn (WhenFn ?EV)))) (causes ?P ?EV) (believes ?A (attribute ?P Dangerous)))))	MilitaryProcesses.kif 2515-2529	instance Process and Evacuation origin Process and GeographicArea agent Process and CognitiveAgent Process instance Process and Process geographicSubregion GeographicArea and WhereFn Process and BeginFn WhenFn Process causes Process and Process believes CognitiveAgent and attribute Process and Dangerous
(=> (and (instance ?EV Evacuation) (origin ?EV ?OR) (destination ?EV ?D)) (exists (?L) (and (instance ?L Translocation) (subProcess ?L ?EV) (destination ?L ?D) (origin ?L ?OR))))	MilitaryProcesses.kif 2500-2510	instance Process and Evacuation origin Process and Object destination Process and Entity Process instance Process and Translocation subProcess Process and Process destination Process and Entity origin Process and Object
(=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA GeopoliticalArea) (origin ?EXPORT ?AREA)) (holdsDuring (BeginFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA)))	Economy.kif 2422-2429	instance Process and Exporting patient Process and Entity instance Object and GeopoliticalArea origin Process and Object holdsDuring BeginFn WhenFn Process and located Entity and Object
(=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA1 GeopoliticalArea) (origin ?EXPORT ?AREA1) (instance ?AREA2 GeopoliticalArea) (destination ?EXPORT ?AREA2)) (not (equal ?AREA1 ?AREA2)))	Economy.kif 2478-2486	instance Process and Exporting patient Process and Entity instance Object and GeopoliticalArea origin Process and Object instance Entity and GeopoliticalArea destination Process and Entity equal Object and Entity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

(=> (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 487-499	agent Process and Agent origin Process and Object patient Process and Physical monetaryValue Physical and CurrencyMeasure FinancialTransaction subProcess FinancialTransaction and Process instance FinancialTransaction and Payment transactionAmount FinancialTransaction and CurrencyMeasure origin FinancialTransaction and Agent destination FinancialTransaction and Object
(=> (and (amountDue ?Account ?Amount ?DueDate) (accountHolder ?Account ?Agent)) (holdsObligation (KappaFn ?Payment (and (instance ?Payment Payment) (transactionAmount ?Payment ?Amount) (or (destination ?Payment (CurrencyFn ?Account)) (origin ?Payment (CurrencyFn ?Account))) (date ?Payment ?Date) (beforeOrEqual (EndFn ?Date) (BeginFn ?DueDate)))) ?Agent))	FinancialOntology.kif 655-667	amountDue FinancialAccount, CurrencyMeasure and TimePosition accountHolder FinancialAccount and CognitiveAgent holdsObligation KappaFn SymbolicString and instance SymbolicString and Payment transactionAmount SymbolicString and CurrencyMeasure destination SymbolicString and CurrencyFn FinancialAccount origin SymbolicString and CurrencyFn FinancialAccount date SymbolicString and entity beforeOrEqual EndFn entity and BeginFn TimePosition and CognitiveAgent
(=> (and (attribute ?X Waiter) (instance ?X Human) (employs ?REST ?X) (instance ?REST Restaurant) (customer ?CUST ?REST) (located ?CUST ?TABLE) (instance ?TABLE Table)) (and (possesses ?REST ?KITCHEN) (instance ?KITCHEN KitchenArea) (instance ?DINING DiningArea) (located ?TABLE ?DINING) (hasPurpose ?X (and (instance ?C Carrying) (agent ?C ?X) (origin ?C ?KITCHEN) (destination ?C ?TABLE) (patient ?C ?FOOD) (instance ?FOOD (FoodForFn Human))))))	Mid-level-ontology.kif 19943-19964	attribute CognitiveAgent and Waiter instance CognitiveAgent and Human employs CognitiveAgent and CognitiveAgent instance CognitiveAgent and Restaurant customer CognitiveAgent and CognitiveAgent located CognitiveAgent and Object instance Object and Table possesses CognitiveAgent and Object instance Object and KitchenArea instance Object and DiningArea located Object and Object hasPurpose CognitiveAgent and instance entity and Carrying agent entity and CognitiveAgent origin entity and Object destination entity and Object patient entity and entity instance entity and FoodForFn Human
(=> (and (borrower ?Loan ?Borrower) (lender ?Loan ?Lender) (agreementPeriod ?Loan ?Period) (interestEarned ?Loan ?Interest ?Period)) (exists (?Payment) (and (origin ?Payment ?Borrower) (transactionAmount ?Payment ?Interest) (destination ?Payment ?Lender))))	FinancialOntology.kif 1260-1270	borrower Loan and CognitiveAgent lender Loan and CognitiveAgent agreementPeriod Loan and TimeInterval interestEarned Loan, Interest and TimeInterval FinancialTransaction origin FinancialTransaction and CognitiveAgent transactionAmount FinancialTransaction and Interest destination FinancialTransaction and CognitiveAgent
(=> (and (buys ?CUST ?AGENT ?ITEM) (instance ?ITEM Physical)) (exists (?TRANS) (and (instance ?TRANS Buying) (patient ?TRANS ?ITEM) (agent ?TRANS ?CUST) (origin ?TRANS ?AGENT))))	Mid-level-ontology.kif 29371-29380	buys CognitiveAgent, CognitiveAgent and Entity instance Entity and Physical Process instance Process and Buying patient Process and Entity agent Process and CognitiveAgent origin Process and CognitiveAgent
(=> (and (buys ?CUST ?AGENT ?ITEM) (instance ?ITEM Proposition)) (exists (?TRANS ?PROC) (and (agent ?TRANS ?CUST) (realization ?PROC ?ITEM) (instance ?TRANS Buying) (patient ?TRANS ?PROC) (origin ?TRANS ?AGENT))))	Mid-level-ontology.kif 29382-29392	buys CognitiveAgent, CognitiveAgent and Proposition instance Proposition and Proposition Process Process agent Process and CognitiveAgent realization Process and Proposition instance Process and Buying patient Process and Process origin Process and CognitiveAgent
(=> (and (connectedPeripheral ?COD ?C) (instance ?COD ComputerInputDevice)) (capability ?COD origin DataTransfer))	ComputingBrands.kif 3516-3520	connectedPeripheral Process and Computer instance Process and ComputerInputDevice capability Process, origin and DataTransfer
(=> (and (customer ?CUST ?AGENT) (employs ?AGENT ?X) (attribute ?AGENT TravelerAccommodation) (attribute ?X Porter) (possesses ?CUST ?LUGGAGE) (instance ?LUGGAGE TravelContainer)) (exists (?ROOM ?CARRY) (and (instance ?ROOM HotelUnit) (instance ?CARRY Carrying) (agent ?CARRY ?X) (or (destination ?CARRY ?ROOM) (origin ?CARRY ?ROOM)))))	Hotel.kif 2365-2380	customer CognitiveAgent and CognitiveAgent employs CognitiveAgent and CognitiveAgent attribute CognitiveAgent and TravelerAccommodation attribute CognitiveAgent and Porter possesses CognitiveAgent and Object instance Object and TravelContainer Object Process instance Object and HotelUnit instance Process and Carrying agent Process and CognitiveAgent destination Process and Object origin Process and Object
(=> (and (holdsDuring ?T1 (and (attribute ?P Expellee) (citizen ?P ?HOME-NATION))) (instance ?T1 TimeInterval)) (exists (?TRANS ?NATION) (and (instance ?NATION Nation) (not (equal ?NATION ?HOME-NATION)) (instance ?TRANS Translocation) (origin ?TRANS ?NATION) (patient ?TRANS ?P) (destination ?TRANS ?HOME-NATION) (temporalPart ?T1 (WhenFn ?TRANS)))))	MilitaryPersons.kif 151-167	holdsDuring TimePosition and attribute Entity and Expellee citizen Entity and entity-NATION instance TimePosition and TimeInterval Process Object instance Object and Nation equal Object and entity-NATION instance Process and Translocation origin Process and Object patient Process and Entity destination Process and entity-NATION temporalPart TimePosition and WhenFn Process
(=> (and (instance ?A AppleAppStore) (programRunning ?P ?A) (computerRunning ?P ?C)) (hasPurpose ?A (exists (?D) (and (instance ?D DownloadingOverNetwork) (origin ?D ?C)))))	ComputingBrands.kif 1958-1967	instance Physical and Apple app store programRunning ComputerProcess and Physical computerRunning ComputerProcess and Computer hasPurpose Physical and entity instance entity and DownloadingOverNetwork origin entity and Computer
(=> (and (instance ?ANI Animal) (instance ?D DiseaseOrSyndrome) (not (attribute ?ANI ?D))) (exists (?P ?W) (and (instance ?P BiologicalProcess) (instance ?P Removing) (origin ?P ?ANI) (instance ?W Sewage) (agent ?P ?ANI) (objectTransferred ?P ?W))))	Mid-level-ontology.kif 2121-2134	instance Agent and Animal instance Attribute and DiseaseOrSyndrome attribute Agent and Attribute Transfer Object instance Transfer and BiologicalProcess instance Transfer and Removing origin Transfer and Agent instance Object and Sewage agent Transfer and Agent objectTransferred Transfer and Object
(=> (and (instance ?ARTERY Artery) (instance ?TRANSFER Transfer) (patient ?TRANSFER ?BLOOD) (instrument ?TRANSFER ?ARTERY) (instance ?BLOOD Blood)) (exists (?HEART) (and (instance ?HEART Heart) (origin ?TRANSFER ?HEART))))	Mid-level-ontology.kif 10614-10624	instance Object and Artery instance Process and Transfer patient Process and Entity instrument Process and Object instance Entity and Blood Object instance Object and Heart origin Process and Object
(=> (and (instance ?Account CreditAccount) (accountAt ?Account ?Organization) (accountHolder ?Account ?Agent) (interestEarned ?Account ?Interest ?Period)) (exists (?Payment) (and (origin ?Payment ?Agent) (transactionAmount ?Payment ?Interest) (destination ?Payment ?Organization))))	FinancialOntology.kif 1211-1221	instance FinancialAccount and CreditAccount accountAt FinancialAccount and FinancialOrganization accountHolder FinancialAccount and CognitiveAgent interestEarned FinancialAccount, Interest and TimeInterval FinancialTransaction origin FinancialTransaction and CognitiveAgent transactionAmount FinancialTransaction and Interest destination FinancialTransaction and FinancialOrganization
(=> (and (instance ?Bond ZeroCouponBond) (maturityDate (AccountFn ?Bond) ?Date) (possesses ?BondHolder ?Bond) (principalAmount (AccountFn ?Bond) (MeasureFn ?Principal ?CUNIT)) (agreementPeriod (AccountFn ?Bond) ?Period) (interestEarned (AccountFn ?Bond) (MeasureFn ?Interest ?CUNIT) ?Period) (equal ?Total (AdditionFn ?Principal ?Interest))) (exists (?Payment) (and (instance ?Payment Payment) (destination ?Payment ?BondHolder) (origin ?Payment (AccountFn ?Bond)) (transactionAmount ?Payment (MeasureFn ?Total ?CUNIT)))))	FinancialOntology.kif 2341-2363	instance FinancialAsset and ZeroCouponBond maturityDate AccountFn FinancialAsset and Day possesses FinancialAssetHolder and FinancialAsset principalAmount AccountFn FinancialAsset and MeasureFn RealNumber and UnitOfMeasure agreementPeriod AccountFn FinancialAsset and TimeInterval interestEarned AccountFn FinancialAsset, MeasureFn RealNumber and UnitOfMeasure and TimeInterval equal RealNumber and AdditionFn RealNumber and RealNumber FinancialTransaction instance FinancialTransaction and Payment destination FinancialTransaction and FinancialAssetHolder origin FinancialTransaction and AccountFn FinancialAsset transactionAmount FinancialTransaction and MeasureFn RealNumber and UnitOfMeasure
(=> (and (instance ?C Crying) (experiencer ?C ?H)) (exists (?T ?E) (and (instance ?T TearSubstance) (origin ?C ?E) (objectTransferred ?C ?T) (instance ?E Eye) (part ?E ?H))))	emotion.kif 1129-1139	instance Transfer and Crying experiencer Transfer and Agent Object Object instance Object and TearSubstance origin Transfer and Object objectTransferred Transfer and Object instance Object and Eye part Object and Agent
(=> (and (instance ?EV Evacuation) (agent ?EV ?A) (origin ?EV ?O)) (exists (?T ?TA) (and (instance ?T Translocation) (subProcess ?T ?EV) (origin ?T ?O) (or (experiencer ?T ?TA) (agent ?T ?TA)) (or (subOrganization ?TA ?A) (member ?TA ?A) (equal ?TA ?A)))))	MilitaryProcesses.kif 2626-2642	instance Process and Evacuation agent Process and Organization origin Process and Object Process ProcessA instance Process and Translocation subProcess Process and Process origin Process and Object experiencer Process and ProcessA agent Process and ProcessA ProcessA は組織 Organization の一部では %n member ProcessA and Organization equal ProcessA and Organization
(=> (and (instance ?EV Evacuation) (origin ?EV ?OR) (destination ?EV ?D)) (exists (?L) (and (instance ?L Translocation) (subProcess ?L ?EV) (destination ?L ?D) (origin ?L ?OR))))	MilitaryProcesses.kif 2500-2510	instance Process and Evacuation origin Process and Object destination Process and Entity Process instance Process and Translocation subProcess Process and Process destination Process and Entity origin Process and Object
(=> (and (instance ?F FourStrokeExhaust) (instance ?C EngineCylinder) (instance ?I InternalCombustionChamber) (equal ?C (HoleHostFn ?I)) (eventLocated ?F ?C)) (exists (?E ?M) (and (instance ?M GasMotion) (instance ?E Exhaust) (subProcess ?M ?F) (origin ?M ?I) (patient ?M ?E))))	Cars.kif 225-238	instance Process and FourStrokeExhaust instance Object and EngineCylinder instance Hole and InternalCombustionChamber equal Object and HoleHostFn Hole eventLocated Process and Object Entity Process instance Process and GasMotion instance Entity and Exhaust subProcess Process and Process origin Process and Hole patient Process and Entity
(=> (and (instance ?FP FuelPump) (instance ?A Automobile) (part ?FP ?A) (instance ?T Transportation) (instance ?F Fuel) (patient ?T ?F) (instrument ?F ?FP)) (hasPurpose ?FP (exists (?GT ?EC) (and (instance ?GT GasTank) (part ?GT ?A) (instance ?EC EngineCylinder) (part ?EC ?A) (origin ?T ?GT) (destination ?T ?EC)))))	Cars.kif 1051-1068	instance Object and FuelPump instance Object and Automobile part Object and Object instance Process and Transportation instance Process and Fuel patient Process and Process instrument Process and Object hasPurpose Object and entity entity instance entity and GasTank part entity and Object instance entity and EngineCylinder part entity and Object origin Process and entity destination Process and entity
(=> (and (instance ?G Baseball) (instance ?P Pitching) (subProcess ?P ?G)) (exists (?M) (and (instance ?M PitchersMound) (origin ?P ?M))))	Sports.kif 593-601	instance Process and Baseball instance Process and Pitching subProcess Process and Process Object instance Object and PitchersMound origin Process and Object
(=> (and (instance ?GIVE Giving) (agent ?GIVE ?AGENT)) (origin ?GIVE ?AGENT))	Merge.kif 11526-11530	instance Process and Giving agent Process and Agent origin Process and Agent
(=> (and (instance ?GIVE Giving) (agent ?GIVE ?AGENT1) (destination ?GIVE ?AGENT2) (instance ?AGENT2 Agent) (patient ?GIVE ?OBJ)) (exists (?GET) (and (instance ?GET Getting) (agent ?GET ?AGENT2) (origin ?GET ?AGENT1) (patient ?GET ?OBJ))))	Merge.kif 11512-11524	instance Process and Giving agent Process and Agent destination Process and Agent instance Agent and Agent patient Process and Entity Process instance Process and Getting agent Process and Agent origin Process and Agent patient Process and Entity
(=> (and (instance ?I Immigrating) (agent ?I ?A)) (exists (?N1 ?N2) (and (instance ?N1 Nation) (instance ?N2 Nation) (origin ?I ?N1) (destination ?I ?N2) (not (equal ?N1 ?N2)) (member ?A (CitizenryFn ?N1)) (not (member ?A (CitizenryFn ?N2))) (hasPurpose ?I (inhabits ?A ?N2)))))	Mid-level-ontology.kif 16793-16809	instance Process and Immigrating agent Process and Agent GeopoliticalArea GeopoliticalArea instance GeopoliticalArea and Nation instance GeopoliticalArea and Nation origin Process and GeopoliticalArea destination Process and GeopoliticalArea equal GeopoliticalArea and GeopoliticalArea member Agent and CitizenryFn GeopoliticalArea member Agent and CitizenryFn GeopoliticalArea hasPurpose Process and inhabits Agent and GeopoliticalArea
(=> (and (instance ?LEND Lending) (agent ?LEND ?AGENT2) (destination ?LEND ?AGENT1) (patient ?LEND ?OBJECT)) (exists (?BORROW) (and (instance ?BORROW Borrowing) (agent ?BORROW ?AGENT1) (origin ?BORROW ?AGENT2) (patient ?BORROW ?OBJECT))))	Merge.kif 11583-11594	instance Process and Lending agent Process and Agent destination Process and Agent patient Process and Entity Process instance Process and Borrowing agent Process and Agent origin Process and Agent patient Process and Entity
(=> (and (instance ?P FoodPickup) (agent ?P ?AGENT) (destination ?P ?CUST) (patient ?P ?FOOD)) (and (instance ?FOOD (FoodForFn Human)) (exists (?LOC ?T ?G) (and (located ?AGENT ?LOC) (instance ?T Translocation) (agent ?T ?CUST) (destination ?T ?LOC) (instance ?G Getting) (origin ?G ?AGENT) (destination ?G ?CUST) (patient ?G ?FOOD)))))	Dining.kif 564-581	instance Process and FoodPickup agent Process and Agent destination Process and Agent patient Process and Entity instance Entity and FoodForFn Human Object Process and Process located Agent and Object instance Process and Translocation agent Process and Agent destination Process and Object instance Process and Getting origin Process and Agent destination Process and Agent patient Process and Entity

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

KB Term:			Term intersection

English Word: