| appearance as argument number 1 |
|
| (documentation refers ChineseLanguage "(refers ?OBJ1 ?OBJ2) 的意思是 ?OBJ1 提到或引用 ?OBJ2。注：refers 的意思比 represents 更概括，因为大概可以说，只有当一样东西在引用另一样东西时 才能描述这件东西。例如：一篇主题为油价最近的变化的文章可以提到许多其它的东西，如：总体经济状况、 加利福尼亚的天气、全球变暖的前景、替代能源的选择和各家石油公司股票的价格，等等。") | chinese_format.kif 2154-2157 | |
| (documentation refers EnglishLanguage "(refers ?OBJ1 ?OBJ2) means that ?OBJ1 mentions or includes a reference to ?OBJ2. Note that refers is more general in meaning than represents, because presumably something can represent something else only if it refers to this other thing. For example, an article whose topic is a recent change in the price of oil may refer to many other things, e.g. the general state of the economy, the weather in California, the prospect of global warming, the options for alternative energy sources, the stock prices of various oil companies, etc.") | Merge.kif 4208-4216 | |
| (domain refers 1 Entity) | Merge.kif 4205-4205 | 提到 的 1 数量 是 实体 的 instance |
| (domain refers 2 Entity) | Merge.kif 4206-4206 | 提到 的 2 数量 是 实体 的 instance |
| (instance refers BinaryPredicate) | Merge.kif 4204-4204 | 提到 是 二元谓语 的 instance |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage refers "%1 %n{doesn't} 提到 %2") | chinese_format.kif 225-225 | |
| (format EnglishLanguage refers "%1 %n{doesn't} include%p{s} a reference to %2") | english_format.kif 229-229 | |
| (subrelation deceptiveIdentifier refers) | Mid-level-ontology.kif 21245-21245 | 欺骗性标识符 是 提到 的 subrelation |
| (subrelation emailAddress refers) | Mid-level-ontology.kif 3542-3542 | 电子邮件地址 是 提到 的 subrelation |
| (subrelation names refers) | Merge.kif 4218-4218 | 命名 是 提到 的 subrelation |
| (subrelation phoneNumber refers) | FinancialOntology.kif 3578-3578 | 电话号码 是 提到 的 subrelation |
| (subrelation registeredItem refers) | Mid-level-ontology.kif 14210-14210 | 注册项目 是 提到 的 subrelation |
| (subrelation represents refers) | Merge.kif 4238-4238 | 表示 是 提到 的 subrelation |
| (termFormat ChineseLanguage refers "参照") | domainEnglishFormat.kif 49004-49004 | |
| (termFormat ChineseLanguage refers "提到") | chinese_format.kif 226-226 | |
| (termFormat ChineseTraditionalLanguage refers "參照") | domainEnglishFormat.kif 49003-49003 | |
| (termFormat EnglishLanguage refers "refers") | domainEnglishFormat.kif 49002-49002 |
| antecedent |
|
|
| (=> (and (instance ?AWARD LegalAward) (refers ?AWARD ?ACTION) (instance ?ACTION LegalAction) (agent ?ACTION ?PLAINTIFF)) (confersRight (exists (?GET ?OBJ ?VALUE) (and (instance ?GET Getting) (experiencer ?GET ?PLAINTIFF) (patient ?GET ?OBJ) (monetaryValue ?OBJ ?VALUE))) ?AWARD ?PLAINTIFF)) |
Mid-level-ontology.kif 13847-13859 | |
| (=> (and (instance ?FQ ForceQuit) (refers ?FQ ?P) (programRunning ?P ?A)) (exists (?A) (and (instance ?A Abort) (processAborted ?A ?P)))) |
ComputingBrands.kif 3015-3023 | |
| (=> (and (instance ?X DutyTax) (refers ?X ?OBJ) (patient ?X ?OBJ)) (exists (?T ?N1 ?N2) (and (instance ?T Transfer) (patient ?T ?OBJ) (origin ?T ?N1) (destination ?T ?N2) (instance ?N1 Nation) (instance ?N2 Nation) (not (equal ?N1 ?N2)) (earlier (WhenFn ?T) (WhenFn ?X)) (causes ?T ?X)))) |
FinancialOntology.kif 893-908 |
|
| (=> (and (treatedPageDefinition ?EXPERIMENT ?FORMULA) (instance ?PAGE WebPage) (refers ?FORMULA ?PAGE)) (treatedPage ?PAGE ?EXPERIMENT)) |
UXExperimentalTerms.kif 4356-4361 |
|
| consequent |
|
|
| (=> (and (attribute ?A AppraisalAsJustTreatment) (instance ?AJT AppraisalProcess) (agent ?AJT ?A)) (exists (?P ?A2) (and (instance ?P Process) (refers ?AJT ?P) (agent ?P ?A2) (not (equal ?A ?A2)) (patient ?P ?A) (wants ?A ?P)))) |
emotion.kif 374-387 |
|
| (=> (and (attribute ?A AppraisalAsUnjustTreatment) (instance ?AUJ AppraisalProcess) (agent ?AUJ ?A)) (exists (?P ?A2) (and (instance ?P Process) (refers ?AUJ ?P) (agent ?P ?A2) (not (equal ?A ?A2)) (patient ?P ?A) (not (wants ?A ?P))))) |
emotion.kif 349-363 |
|
| (=> (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 |
|
| (=> (and (defenseLawyer ?P ?A) (defendant ?P ?D)) (desires ?A (not (exists (?L) (and (instance ?L LegalDecision) (refers ?L ?P) (not (wants ?D ?L))))))) |
Law.kif 338-349 | |
| (=> (and (instance ?AS ArtSchool) (instance ?P EducationalProcess) (eventLocated ?P ?AS)) (exists (?M ?ART) (and (instance ?M Making) (patient ?M ?ART) (instance ?ART ArtWork) (refers ?P ?M)))) |
Mid-level-ontology.kif 14365-14375 | |
| (=> (and (instance ?COMMENTING Commenting) (instance ?PROCESS Process) (patient ?COMMENTING ?PROCESS)) (exists (?AGENT ?SPEAKING ?LOOKING) (and (instance ?AGENT Agent) (instance ?SPEAKING Speaking) (instance ?LOOKING Looking) (agent ?SPEAKING ?AGENT) (agent ?LOOKING ?AGENT) (patient ?LOOKING ?PROCESS) (refers ?SPEAKING ?PROCESS)))) |
Mid-level-ontology.kif 13543-13556 | |
| (=> (and (instance ?Directory ComputerDirectory) (instance ?File ComputerFile) (directoryOf ?File ?Directory)) (refers (AddressFn ?File) ?Directory)) |
QoSontology.kif 229-234 | |
| (=> (and (instance ?FACILITY NuclearWeaponResearchFacility) (instance ?RESEARCH ResearchingWeaponOfMassDestruction) (eventLocated ?RESEARCH ?FACILITY)) (refers ?RESEARCH NuclearWeapon)) |
WMD.kif 661-666 | |
| (=> (and (instance ?P Human) (attribute ?P Criminal)) (exists (?CA ?LC) (and (instance ?CA CriminalAction) (instance ?LC LegalConviction) (refers ?LC ?CA) (patient ?LC ?P)))) |
Justice.kif 87-96 | |
| (=> (and (instance ?PAGE ViewItemPage) (instance ?ADVERTISING WebListing) (component ?ADVERTISING ?PAGE) (patient ?ADVERTISING ?ITEM) (instance ?ITEM Physical)) (exists (?DESCRIPTION ?STATING ?DESCRIPTIONCONTENT) (and (instance ?STATING Stating) (patient ?STATING ?DESCRIPTION) (refers ?DESCRIPTION ?ITEM) (result ?DESCRIPTION ?DESCRIPTIONCONTENT) (part ?DESCRIPTIONCONTENT ?PAGE)))) |
UXExperimentalTerms.kif 2282-2295 |
|
| (=> (and (instance ?PROC IntentionalProcess) (result ?PROC ?DOC) (recordForAgreement ?DOC ?AG) (attribute ?AG Legal)) (exists (?O ?A ?A1 ?A2) (and (instance ?O Offering) (instance ?A ReachingAgreement) (refers ?O ?AG) (refers ?A ?AG) (agent ?O ?A1) (agent ?A ?A2) (earlier (WhenFn ?O) (WhenFn ?A))))) |
Law.kif 574-588 |
|
| (=> (and (instance ?X Argument) (instance ?R Reasoning) (subProposition ?X Archeology) (realization ?R ?X)) (exists (?D ?S ?O ?T) (and (instance ?D Discovering) (instance ?O Object) (patient ?D ?O) (refers ?R ?D) (earlier (WhenFn ?D) (WhenFn ?R)) (age ?O ?T) (greaterThan ?T (MeasureFn 50 YearDuration)) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (or (and (surface ?S ?W) (instance ?W BodyOfWater) (orientation ?O ?S Below)) (and (surface ?S ?L) (instance ?L LandArea) (orientation ?O ?S Below))))))) |
Mid-level-ontology.kif 18839-18868 |
|
| (=> (and (instance ?X BreakingRecord) (agent ?X ?A1)) (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q) (and (instance ?AC Set) (instance ?A1 ?AC) (subclass ?PC Process) (subclass ?L Region) (instance ?TP TimePoint) (instance ?Q Quantity) (refers ?X ?Q) (refers ?Q ?PC) (playsRoleInEvent ?A1 ?ROLE ?P1) (eventLocated ?P1 ?L) (not (exists (?A2 ?P2) (and (instance ?A2 ?AC) (not (equal ?A2 ?A1)) (instance ?P2 ?PC) (holdsDuring (TimeIntervalFn ?TP (EndFn (WhenFn ?X))) (and (playsRoleInEvent ?A2 ?ROLE ?P2) (eventLocated ?P2 ?L))))))))) |
Mid-level-ontology.kif 28196-28225 |
|
| (=> (and (inventory ?O ?C) (member ?I ?C)) (refers ?O ?I)) |
Mid-level-ontology.kif 20607-20611 | |
| (=> (and (prosecutor ?P ?A) (defendant ?P ?D)) (desires ?A (exists (?L) (and (instance ?L LegalDecision) (refers ?L ?P) (not (wants ?D ?L)))))) |
Law.kif 361-371 | |
| (=> (attribute ?COACH Coach) (exists (?ATHLETE ?GAME ?EDUCATION) (and (instance ?ATHLETE Human) (instance ?GAME Game) (instance ?EDUCATION EducationalProcess) (agent ?EDUCATION ?COACH) (patient ?EDUCATION ?ATHLETE) (refers ?EDUCATION ?GAME)))) |
Sports.kif 410-419 | |
| (=> (attribute ?H ArtCritic) (exists (?T ?AW) (and (instance ?AW ArtWork) (authors ?H ?T) (refers ?T ?AW)))) |
Mid-level-ontology.kif 18758-18764 | |
| (=> (attribute ?H NewsReporter) (exists (?T ?EV) (and (instance ?EV Process) (overlapsTemporally (WhenFn ?EV) (WhenFn ?H)) (authors ?H ?T) (refers ?T ?EV)))) |
Mid-level-ontology.kif 18743-18752 | |
| (=> (attribute ?X Historical) (refers History ?X)) |
Mid-level-ontology.kif 24709-24711 |
|
| (=> (coaches ?COACH ?PLAYER) (and (attribute ?COACH Coach) (exists (?GAME ?EDUCATION) (and (instance ?GAME Game) (instance ?EDUCATION EducationalProcess) (agent ?EDUCATION ?COACH) (patient ?EDUCATION ?PLAYER) (refers ?EDUCATION ?GAME))))) |
Sports.kif 427-437 | |
| (=> (componentDataID ?Time ?Component ?Instance ?Unit ?Number) (refers ?Number ?Instance)) |
QoSontology.kif 913-915 | |
| (=> (describes ?FORMULA ?OBJECT) (exists (?STATING ?AGENT) (and (instance ?STATING Stating) (agent ?STATING ?AGENT) (patient ?STATING ?FORMULA) (refers ?STATING ?OBJECT)))) |
Mid-level-ontology.kif 13800-13807 | |
| (=> (evidence ?LA ?P) (exists (?A) (and (instance ?PROP Proposition) (instance ?A Argument) (refers ?A ?LA) (represents ?PROP ?P) (premise ?A ?PROP)))) |
Law.kif 223-231 | |
| (=> (experimentUpdate ?CBP ?EXP) (refers ?CBP ?EXP)) |
UXExperimentalTerms.kif 2885-2887 | |
| (=> (finalExperimentReport ?CBP ?EXP) (refers ?CBP ?EXP)) |
UXExperimentalTerms.kif 2914-2916 | |
| 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners