| appearance as argument number 1 |
|
| s__documentation(s__WhenFn__m,s__ChineseLanguage,'这是一个 UnaryFunction，它把一个 Object 或 Process 联系到它存在的准确 TimeInterval。注：在 TimeInterval (WhenFn ?THING)以外的 每一个 TimePoint ?TIME， (time ?THING ?TIME) 并不存在')
|
Merge.kif 8560-8562 | |
| s__documentation(s__WhenFn__m,s__EnglishLanguage,'A UnaryFunction that maps an Object or Process to the exact TimeInterval during which it exists. Note that, for every TimePoint ?TIME outside of the TimeInterval (WhenFn ?THING), (time ?THING ?TIME) does not hold.')
|
Merge.kif 8556-8559 | |
| s__domain(s__WhenFn__m,1,s__Physical)
|
Merge.kif 8554-8554 | |
| s__instance(s__WhenFn__m,s__TemporalRelation)
|
Merge.kif 8551-8551 | |
| s__instance(s__TotalValuedRelation,s__SetOrClass)
|
Merge.kif 8553-8553 | |
| s__instance(s__WhenFn__m,s__UnaryFunction)
|
Merge.kif 8552-8552 | |
| s__range(s__WhenFn__m,s__TimeInterval)
|
Merge.kif 8555-8555 |
| appearance as argument number 2 |
|
|
| s__format(s__ChineseLanguage,s__WhenFn__m,'%1 出现 的 time') | chinese_format.kif 455-455 | |
| s__format(s__EnglishLanguage,s__WhenFn__m,'the time of existence of %1')
|
english_format.kif 275-275 | |
| s__format(s__FrenchLanguage,s__WhenFn__m,'temps dexistence de %1')
|
french_format.kif 264-264 | |
| s__format(s__ItalianLanguage,s__WhenFn__m,'il tempo di esistenza di %1')
|
relations-it.txt 314-314 | |
| s__format(s__PortugueseLanguage,s__WhenFn__m,'tempo de existencia de %1')
|
portuguese_format.kif 216-216 | |
| s__format(s__ar__m,s__WhenFn__m,'وَقْت وجُود %1')
|
arabic_format.kif 196-196 | |
| s__format(s__cz__m,s__WhenFn__m,'doba existence %1')
|
relations-cz.txt 270-270 | |
| s__format(s__de__m,s__WhenFn__m,'die zeit des Bestehens von %1')
|
relations-de.txt 595-595 | |
| s__format(s__hi__m,s__WhenFn__m,'%1 ke astitva kaa samaya') | relations-hindi.txt 349-349 | |
| s__format(s__tg__m,s__WhenFn__m,'ang panahon ng kabuhayan ng %1')
|
relations-tg.txt 506-506 | |
| s__relatedInternalConcept(s__WhereFn__m,s__WhenFn__m)
|
Merge.kif 4350-4350 | |
| s__termFormat(s__ChineseLanguage,s__WhenFn__m,'何时函数')
|
chinese_format.kif 456-456 | |
| s__termFormat(s__EnglishLanguage,s__WhenFn__m,'when')
|
domainEnglishFormat.kif 10922-10922 | |
| s__termFormat(s__ar__m,s__WhenFn__m,'«وَقْت وجُود»')
|
arabic_format.kif 646-646 |
| antecedent |
|
|
| ( ! [V__POS,V__THING] : (s__temporalPart(V__POS,s__WhenFn(V__THING)) <=> s__time(V__THING,V__POS)) )
|
Merge.kif 8169-8171 | |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 130-153 | |
| ( ! [V__PROCESS_START,V__PROCESS,V__AGENT_END,V__AGENT] : (((V__PROCESS_START = s__BeginFn(s__WhenFn(V__PROCESS))) & (V__AGENT_END = s__EndFn(s__WhenFn(V__AGENT))) & s__benefits(V__PROCESS,V__AGENT)) => s__before(V__PROCESS_START,V__AGENT_END)) )
|
Mid-level-ontology.kif 20772-20777 | |
| ( ! [V__PROCESS_START,V__PROCESS,V__AGENT_END,V__AGENT] : (((V__PROCESS_START = s__BeginFn(s__WhenFn(V__PROCESS))) & (V__AGENT_END = s__EndFn(s__WhenFn(V__AGENT))) & s__suffers(V__PROCESS,V__AGENT)) => s__before(V__PROCESS_START,V__AGENT_END)) )
|
Mid-level-ontology.kif 27684-27693 | |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 520-529 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28718-28739 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18577-18583 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18546-18552 | |
| ( ! [V__A,V__T,V__E] : ((s__instance(V__A,s__Accelerating) & (V__T = s__WhenFn(V__A)) & s__experiencer(V__A,V__E)) => (~ (? [V__D] : (s__instance(V__D,s__Decelerating) & s__experiencer(V__D,V__E) & (V__T = s__WhenFn(V__D)))))) )
|
Mid-level-ontology.kif 14759-14769 | |
| ( ! [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__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. | MilitaryProcesses.kif 89-103 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 654-660 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13762-13770 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11542-11549 | |
| ( ! [V__COLL,V__SITE,V__AGENT,V__LISTING,V__TIME] : ((s__instance(V__COLL,s__Collection) & s__instance(V__SITE,s__WebSite) & s__instance(V__AGENT,s__Agent) & s__instance(V__LISTING,s__WebListing) & s__instance(V__TIME,s__TimePoint) & s__listingSeller(V__LISTING,V__AGENT) & (~ s__member(V__LISTING,V__COLL)) & (! [V__ITEM] : ((s__instance(V__ITEM,s__WebListing) & s__member(V__ITEM,s__SellersItemsFn(V__AGENT,V__SITE)) & s__temporalPart(V__TIME,s__WhenFn(V__ITEM)) & (~ (V__ITEM = V__LISTING))) => s__member(V__ITEM,V__COLL))) & (! [V__MEMBER] : (s__member(V__MEMBER,V__COLL) => (s__temporalPart(V__TIME,s__WhenFn(V__ITEM)) & s__instance(V__MEMBER,s__WebListing))))) => (s__SellersOtherItemsFn(V__AGENT,V__SITE,V__LISTING,V__TIME) = V__COLL)) )
|
UXExperimentalTerms.kif 1229-1256 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 768-776 | |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1904-1912 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 610-623 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6339-6353 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11871-11880 | |
| ( ! [V__Deposit,V__TimeOfDeposit,V__Account,V__Amount,V__Balance1,V__Balance2] : ((s__instance(V__Deposit,s__Deposit) & s__time(V__Deposit,V__TimeOfDeposit) & s__instance(V__Account,s__FinancialAccount) & s__destination(V__Deposit,s__CurrencyFn(V__Account)) & s__transactionAmount(V__Deposit,V__Amount) & s__currentAccountBalance(V__Account,s__ImmediatePastFn(s__WhenFn(V__Deposit)) ,V__Balance1) & (V__Balance2 = s__AdditionFn(V__Balance1,V__Amount))) => s__currentAccountBalance(V__Account,s__ImmediateFutureFn(s__FutureFn(V__Deposit)) ,V__Balance2)) )
|
FinancialOntology.kif 428-437 | |
| ( ! [V__Downtick,V__Stock,V__Time1,V__Price1,V__Price2] : ((s__instance(V__Downtick,s__Downtick) & s__patient(V__Downtick,V__Stock) & (s__WhenFn(V__Downtick) = V__Time1) & s__price(V__Stock,V__Price1,V__Time1)) => (? [V__Transaction,V__Time2] : (s__instance(V__Transaction,s__StockMarketTransaction) & s__patient(V__Transaction,V__Stock) & (s__WhenFn(V__Transaction) = V__Time2) & s__meetsTemporally(V__Time2,V__Time1) & s__price(V__Stock,V__Price2,V__Time2) & s__greaterThan(V__Price2,V__Price1)))) )
|
FinancialOntology.kif 3128-3141 | |
| ( ! [V__Drawing,V__Check,V__Processing,V__DrawingTime,V__Procesing,V__ProcessingTime,V__Time,V__Duration] : ((s__instance(V__Drawing,s__DrawingACheck) & s__patient(V__Drawing,V__Check) & s__instance(V__Processing,s__ProcessingACheck) & s__patient(V__Processing,V__Check) & (s__WhenFn(V__Drawing) = V__DrawingTime) & (s__WhenFn(V__Procesing) = V__ProcessingTime) & s__meetsTemporally(V__DrawingTime,V__Time) & s__meetsTemporally(V__Time,V__ProcessingTime) & s__duration(V__Time,V__Duration)) => s__lessThan(V__Duration,s__MeasureFn(6,s__MonthDuration))) )
|
FinancialOntology.kif 155-166 | |
| 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. | Merge.kif 12318-12325 | |
| ( ! [V__PHYS,V__TIME] : ((s__time(V__PHYS,V__TIME) & s__instance(V__TIME,s__TimePoint)) <=> s__temporallyBetweenOrEqual(s__BeginFn(s__WhenFn(V__PHYS)) ,V__TIME,s__EndFn(s__WhenFn(V__PHYS)))) )
|
Merge.kif 8369-8373 | |
| ( ! [V__PHYS1,V__PHYS2] : (s__cooccur(V__PHYS1,V__PHYS2) <=> (s__WhenFn(V__PHYS1) = s__WhenFn(V__PHYS2))) )
|
Merge.kif 8483-8485 | |
| No TPTP formula. May not be expressible in strict first order. | People.kif 104-117 | |
| No TPTP formula. May not be expressible in strict first order. | People.kif 138-151 | |
| No TPTP formula. May not be expressible in strict first order. | People.kif 253-277 | |
| No TPTP formula. May not be expressible in strict first order. | People.kif 411-442 | |
| No TPTP formula. May not be expressible in strict first order. | People.kif 323-353 | |
| No TPTP formula. May not be expressible in strict first order. | People.kif 367-398 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28338-28346 | |
| ( ! [V__PROCESS] : (s__instance(V__PROCESS,s__Creation) <=> (? [V__PATIENT] : (s__patient(V__PROCESS,V__PATIENT) & s__time(V__PATIENT,s__EndFn(s__WhenFn(V__PROCESS))) & (~ s__time(V__PATIENT,s__BeginFn(s__WhenFn(V__PROCESS))))))) )
|
Merge.kif 12669-12676 | |
| ( ! [V__PROCESS] : (s__instance(V__PROCESS,s__Destruction) <=> (? [V__PATIENT] : (s__patient(V__PROCESS,V__PATIENT) & s__time(V__PATIENT,s__BeginFn(s__WhenFn(V__PROCESS))) & (~ s__time(V__PATIENT,s__EndFn(s__WhenFn(V__PROCESS))))))) )
|
Merge.kif 12162-12169 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14408-14417 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18357-18364 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16391-16397 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 193-210 | |
| ( ! [V__MR,V__A,V__M,V__MM] : ((s__attribute(V__MR,s__CoverRecording) & s__instance(V__MR,s__MusicRecording) & s__songArtist(V__MR,V__A) & s__musicInterpretation(V__MR,V__M) & s__record(V__MR,V__MM)) => (? [V__ORIG,V__ARTIST,V__MUSIC] : (s__musicInterpretation(V__ORIG,V__M) & s__songArtist(V__ORIG,V__ARTIST) & (~ (V__A = V__ARTIST)) & s__record(V__ORIG,V__MUSIC) & s__before(s__WhenFn(V__MUSIC) ,s__WhenFn(V__MM))))) )
|
Music.kif 460-473 | |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1158-1175 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13772-13785 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 653-664 | |
| ( ! [V__MSG,V__TELEX,V__M] : ((s__destination(V__MSG,V__TELEX) & s__instance(V__MSG,s__Messaging) & s__patient(V__MSG,V__M) & s__instance(V__TELEX,s__Telex)) => (? [V__PROC,V__TEXT] : (s__instrument(V__PROC,V__TELEX) & s__result(V__PROC,V__TEXT) & s__represents(V__TEXT,V__M) & s__instance(V__TEXT,s__Text) & s__before(s__BeginFn(s__WhenFn(V__MSG)) ,s__BeginFn(s__WhenFn(V__PROC)))))) )
|
Communications.kif 202-214 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18332-18341 | |
| ( ! [V__C,V__T,V__I] : ((s__firstInstanceCreated(V__C,V__T) & s__instance(V__I,V__C)) => s__beforeOrEqual(V__T,s__BeginFn(s__WhenFn(V__I)))) )
|
Mid-level-ontology.kif 28747-28753 | |
| ( ! [V__INT,V__SITE,V__COLL,V__MEMBER,V__INTE] : ((s__firstTimeBuyers(V__INT,V__SITE,V__COLL) & s__member(V__MEMBER,V__COLL)) => (? [V__BUYING] : (s__instance(V__BUYING,s__Buying) & s__agent(V__BUYING,V__MEMBER) & s__eCommerceSite(V__BUYING,V__SITE) & s__during(s__WhenFn(V__BUYING) ,V__INTE)))) )
|
UXExperimentalTerms.kif 3730-3739 | |
| ( ! [V__INT,V__SITE,V__COLL,V__MEMBER] : ((s__firstTimeBuyers(V__INT,V__SITE,V__COLL) & s__member(V__MEMBER,V__COLL)) => (~ (? [V__BUYING] : (s__instance(V__BUYING,s__Buying) & s__agent(V__BUYING,V__MEMBER) & s__eCommerceSite(V__BUYING,V__SITE) & s__earlier(s__WhenFn(V__BUYING) ,V__INT))))) )
|
UXExperimentalTerms.kif 3741-3751 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1972-1980 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1922-1922 |
|
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