| appearance as argument number 1 |
|
| (documentation inScopeOfInterest ChineseLanguage "这是一个十分笼统的 Predicate， (inScopeOfInterest ?AGENT ?ENTITY) 的意思是 ?ENTITY 在 ?AGENT 的留意范围之内。注：这注意可以是 正面或负面的，也就是说 ?AGENT 可以是有意图要避开或是推荐 ?ENTITY。") | chinese_format.kif 1929-1931 | |
| (documentation inScopeOfInterest EnglishLanguage "A very general Predicate. (inScopeOfInterest ?AGENT ?ENTITY) means that ?ENTITY is within the scope of interest of ?AGENT. Note that the interest indicated can be either positive or negative, i.e. the ?AGENT can have an interest in avoiding or promoting ?ENTITY.") | Merge.kif 2722-2726 | |
| (documentation inScopeOfInterest JapaneseLanguage "非常に一般的な Predicate。 (inScopeOfInterest ?AGENT ?ENTITY) とは、?ENTITY が ?AGENT の関心の範囲内であることを意味 する。注：示される関心は、正または負のどちらか、すなわち ?AGENT は ?ENTITY を回避または促進する ことに関心を持つことができる。") | japanese_format.kif 556-559 | |
| (domain inScopeOfInterest 1 CognitiveAgent) | Merge.kif 2719-2719 | 感兴趣 的 1 数量 是 有认知的主事 的 instance |
| (domain inScopeOfInterest 2 Entity) | Merge.kif 2720-2720 | 感兴趣 的 2 数量 是 实体 的 instance |
| (instance inScopeOfInterest BinaryPredicate) | Merge.kif 2717-2717 | 感兴趣 是 二元谓语 的 instance |
| (instance inScopeOfInterest IntentionalRelation) | Merge.kif 2718-2718 | 感兴趣 是 有意图的关系 的 instance |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage inScopeOfInterest "%1 %n 对 %2 感兴趣") | chinese_format.kif 133-133 | |
| (format EnglishLanguage inScopeOfInterest "%1 is %n interested in %2") | english_format.kif 134-134 | |
| (format FrenchLanguage inScopeOfInterest "%1 est %n interess� par %2") | french_format.kif 88-88 | |
| (format ItalianLanguage inScopeOfInterest "%1 è %n interessato a %2") | relations-it.txt 148-148 | |
| (format JapaneseLanguage inScopeOfInterest "%1 は %2 に interested が %n") | japanese_format.kif 1915-1915 | |
| (format PortugueseLanguage inScopeOfInterest "%1 esta' %n interessado em %2") | portuguese_format.kif 40-40 | |
| (format cz inScopeOfInterest "%1 %p{je} %n{nen�} interested in %2") | relations-cz.txt 94-94 | |
| (format de inScopeOfInterest "%1 ist an %2 interessiert %n{nicht}") | relations-de.txt 160-160 | |
| (format hi inScopeOfInterest "%2 men %1 kii ruchi %n hai") | relations-hindi.txt 187-187 | |
| (format ro inScopeOfInterest "%1 %n{nu} este interested%t{interesat} de %2") | relations-ro.kif 107-107 | |
| (format sv inScopeOfInterest "%1 är %n{inte} intresserad av %2") | relations-sv.txt 87-87 | |
| (format tg inScopeOfInterest "%1 %n ay mawili sa %2") | relations-tg.txt 300-300 | |
| (subrelation allied inScopeOfInterest) | MilitaryProcesses.kif 2467-2467 | allied 是 感兴趣 的 subrelation |
| (subrelation approves inScopeOfInterest) | Mid-level-ontology.kif 28844-28844 | approves 是 感兴趣 的 subrelation |
| (subrelation believes inScopeOfInterest) | Merge.kif 2805-2805 | 相信 是 感兴趣 的 subrelation |
| (subrelation considers inScopeOfInterest) | Merge.kif 2795-2795 | 考虑 是 感兴趣 的 subrelation |
| (subrelation desires inScopeOfInterest) | Merge.kif 2782-2782 | 渴望 是 感兴趣 的 subrelation |
| (subrelation disapproves inScopeOfInterest) | Mid-level-ontology.kif 8603-8603 | 不赞成 是 感兴趣 的 subrelation |
| (subrelation dislikes inScopeOfInterest) | Mid-level-ontology.kif 8587-8587 | 不喜欢 是 感兴趣 的 subrelation |
| (subrelation enemy inScopeOfInterest) | MilitaryProcesses.kif 2452-2452 | enemy 是 感兴趣 的 subrelation |
| (subrelation enjoys inScopeOfInterest) | Mid-level-ontology.kif 8528-8528 | 享受 是 感兴趣 的 subrelation |
| (subrelation knows inScopeOfInterest) | Merge.kif 2821-2821 | 知道 是 感兴趣 的 subrelation |
| (subrelation needs inScopeOfInterest) | Merge.kif 2746-2746 | 需要 是 感兴趣 的 subrelation |
| (subrelation says inScopeOfInterest) | Merge.kif 2841-2841 | says 是 感兴趣 的 subrelation |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| (=> (and (equal ?DEP (DepartmentOfFn ?COMP ?PHYS)) (subOrganization ?DEP2 ?COMP) (not (equal ?DEP ?DEP2)) (instance ?I ?PHYS) (inScopeOfInterest ?DEP ?I) (equal ?P1 (ProbabilityFn (agent ?P ?DEP))) (equal ?P2 (ProbabilityFn (agent ?P ?DEP2)))) (greaterThan ?P1 ?P2)) |
Mid-level-ontology.kif 19914-19929 | |
| (=> (inScopeOfInterest ?AGENT ?OBJECT) (exists (?PROCESS) (and (instance ?PROCESS IntentionalProcess) (agent ?PROCESS ?AGENT) (patient ?PROCESS ?OBJECT)))) |
Merge.kif 2736-2742 |
| consequent |
|
|
| (=> (and (crossFunctionalTeamFocus ?FOCUS ?TEAM) (member ?MEMBER ?TEAM)) (inScopeOfInterest ?MEMBER ?FOCUS)) |
UXExperimentalTerms.kif 2659-2663 |
|
| (=> (and (instance ?GROUP PoliticalPressureGroup) (organizationalObjective ?GROUP ?AIM) (instance ?ORG GovernmentOrganization) (organizationalObjective ?ORG ?AIM)) (inScopeOfInterest ?GROUP ?ORG)) |
Government.kif 2332-2338 | |
| (=> (and (instance ?GRP GroupOfPeople) (member ?ADULT ?GRP) (member ?BABY ?GRP) (instance ?BABY HumanBaby) (instance ?ADULT HumanAdult) (instance ?CRIB Crib)) (inScopeOfInterest ?ADULT ?CRIB)) |
Hotel.kif 1278-1286 | |
| (=> (and (instance ?PROCESS IntentionalProcess) (agent ?PROCESS ?AGENT) (instance ?AGENT CognitiveAgent) (patient ?PROCESS ?OBJECT)) (inScopeOfInterest ?AGENT ?OBJECT)) |
Merge.kif 2728-2734 | |
| (=> (and (instance ?REL IntentionalRelation) (?REL ?AGENT @ROW) (inList ?OBJ (ListFn @ROW))) (inScopeOfInterest ?AGENT ?OBJ)) |
Merge.kif 2673-2678 | |
| (=> (and (instance ?SAMPLE_COLL Collection) (instance ?POP_COLL Collection) (instance ?EXPERIMENT Experimenting) (instance ?AGENT CognitiveAgent) (agent ?EXPERIMENT ?AGENT) (statisticalPopulation ?SAMPLE_COLL ?POP_COLL ?EXPERIMENT)) (forall (?ATTRIBUTE) (=> (and (instance ?ATTRIBUTE Attribute) (property ?SAMPLE_COLL ?ATTRIBUTE) (inScopeOfInterest ?AGENT ?ATTRIBUTE) (not (equal ?ATTRIBUTE RepresentativeSample))) (property ?POP_COLL ?ATTRIBUTE)))) |
UXExperimentalTerms.kif 501-517 | |
| (=> (and (instance ?WATCH WatchItem) (instance ?AGENT AutonomousAgent) (instance ?OBJ Object) (agent ?WATCH ?AGENT) (patient ?WATCH ?OBJ)) (inScopeOfInterest ?AGENT ?OBJ)) |
UXExperimentalTerms.kif 1596-1603 | |
| (=> (attribute ?X HandicappedFriendly) (exists (?ATTR ?PERSON) (and (instance ?ATTR Disability) (instance ?PERSON Human) (attribute ?PERSON ?ATTR) (inScopeOfInterest ?PERSON ?X)))) |
Mid-level-ontology.kif 28082-28089 | |
| (=> (businessUnit ?BU ?ORG) (exists (?INTEREST) (and (instance ?INTEREST Entity) (inScopeOfInterest ?BU ?INTEREST)))) |
UXExperimentalTerms.kif 2572-2577 | |
| (=> (equal ?DEP (DepartmentOfFn ?COMP ?PHYS)) (exists (?P ?I) (and (agent ?P ?DEP) (instance ?I ?PHYS) (inScopeOfInterest ?DEP ?I)))) |
Mid-level-ontology.kif 19905-19912 | |
| (=> (instance ?TEAM CrossFunctionalTeam) (exists (?INTEREST) (and (instance ?INTEREST Entity) (forall (?MEMBER) (=> (and (instance ?MEMBER Human) (member ?MEMBER ?TEAM)) (inScopeOfInterest ?MEMBER ?INTEREST)))))) |
UXExperimentalTerms.kif 2618-2628 | |
| (=> (instance ?TEAM CrossFunctionalTeam) (exists (?SKILL ?MEMBER1 ?MEMBER2 ?INST) (and (subclass ?SKILL Process) (instance ?MEMBER1 Human) (instance ?MEMBER2 Human) (member ?MEMBER1 ?TEAM) (member ?MEMBER2 ?TEAM) (hasSkill ?SKILL ?MEMBER1) (not (hasSkill ?SKILL ?MEMBER2)) (instance ?INST ?SKILL) (inScopeOfInterest ?TEAM ?INST)))) |
UXExperimentalTerms.kif 2630-2643 |
|
| (=> (instance ?WAREHOUSE DataWarehouse) (hasPurpose ?WAREHOUSE (exists (?AGENT) (and (instance ?AGENT AutonomousAgent) (forall (?DATA) (and (inScopeOfInterest ?DATA ?AGENT) (component ?DATA ?WAREHOUSE))))))) |
UXExperimentalTerms.kif 2215-2224 | |
| (=> (instance ?X GrabBar) (modalAttribute (exists (?HUMAN) (and (attribute ?HUMAN PhysicalDisability) (inScopeOfInterest ?HUMAN ?X))) Likely)) |
Mid-level-ontology.kif 28396-28402 | |
| (=> (instance ?X SecurityUnit) (modalAttribute (exists (?S) (and (instance ?S SurveillanceSystem) (inScopeOfInterest ?X ?S))) Likely)) |
Mid-level-ontology.kif 28902-28908 | |
| (=> (potentialCustomer ?CUST ?AGENT) (exists (?P ?SELLING) (and (instance ?SELLING Selling) (agent ?SELLING ?AGENT) (patient ?SELLING ?P) (inScopeOfInterest ?CUST ?P)))) |
Dining.kif 810-817 |
| appearance as argument number 0 |
|
|
| (inScopeOfInterest InternationalHydrographicOrganization WorldOcean) | Government.kif 3498-3498 | 国际水文组织 对 世界海洋 感兴趣 |
|
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