| appearance as argument number 1 |
|
| (disjointRelation deprivesNorm confersNorm) | Merge.kif 4029-4029 | |
| (documentation deprivesNorm ChineseLanguage "这个概念表达了一个 Entity，Formula 和一个 ObjectiveNorm 之间的关系：就是这个 Entity 所表示的 Formula 没有那个 ObjectiveNorm。") | chinese_format.kif 2105-2106 | |
| (documentation deprivesNorm EnglishLanguage "Expresses the relationship between an Entity, a Formula, and an ObjectiveNorm when the Entity brings it about that the Formula does not have the ObjectiveNorm.") | Merge.kif 4034-4036 | |
| (documentation deprivesNorm JapaneseLanguage "Formula が ObjectiveNorm を保持していない、 と Entity がもたらすとき、Entity、Formula、および ObjectiveNorm 間で関係を表す。") | japanese_format.kif 756-757 | |
| (domain deprivesNorm 1 Entity) | Merge.kif 4030-4030 | |
| (domain deprivesNorm 2 Formula) | Merge.kif 4031-4031 | |
| (domain deprivesNorm 3 ObjectiveNorm) | Merge.kif 4032-4032 | |
| (instance deprivesNorm TernaryPredicate) | Merge.kif 4028-4028 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage deprivesNorm "%1 %n{不} 对 %3 剥夺规范 %2 ") | domainEnglishFormat.kif 716-716 | |
| (format ChineseTraditionalLanguage deprivesNorm "%1 %n{不} 對 %3 剝奪規範 %2 ") | domainEnglishFormat.kif 715-715 | |
| (format EnglishLanguage deprivesNorm "%1 %n{doesn't} deprives norm %2 for %3") | domainEnglishFormat.kif 714-714 | |
| (termFormat ChineseLanguage deprivesNorm "剥夺了规范") | domainEnglishFormat.kif 19185-19185 | |
| (termFormat ChineseTraditionalLanguage deprivesNorm "剝奪了規範") | domainEnglishFormat.kif 19184-19184 | |
| (termFormat EnglishLanguage deprivesNorm "deprives norm") | domainEnglishFormat.kif 19183-19183 |
| antecedent |
|
|
| (=> (deprivesNorm ?E ?F Permission) (deprivesNorm ?E ?F Obligation)) |
Law.kif 353-355 | |
| (=> (deprivesNorm ?E ?F Prohibition) (confersNorm ?E ?F Permission)) |
Law.kif 357-359 | |
| (=> (holdsDuring ?TIME (deprivesNorm ?ENTITY ?FORMULA ?NORM)) (and (holdsDuring (ImmediatePastFn ?TIME) (modalAttribute ?FORMULA ?NORM)) (holdsDuring (ImmediateFutureFn ?TIME) (not (modalAttribute ?FORMULA ?NORM))))) |
Merge.kif 4038-4047 |
| consequent |
|
|
| (=> (and (instance ?POLICY NoChildrenPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (deprivesNorm ?AGENT (exists (?CHILD) (and (instance ?CHILD HumanChild) (located ?CHILD ?LOC))) Permission)) |
Hotel.kif 2637-2646 | |
| (=> (and (instance ?POLICY NoPetsPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (deprivesNorm ?AGENT (exists (?PET) (and (instance ?PET DomesticAnimal) (located ?PET ?LOC))) Permission)) |
Hotel.kif 2588-2597 | |
| (=> (and (instance ?POLICY NoSmokingPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (deprivesNorm ?AGENT (exists (?SMOKE) (and (instance ?SMOKE Smoking) (located ?SMOKE ?LOC))) Permission)) |
Hotel.kif 2604-2613 | |
| (=> (deprivesNorm ?E ?F Permission) (deprivesNorm ?E ?F Obligation)) |
Law.kif 353-355 | |
| (=> (instance ?DECLARE Declaring) (exists (?PROP ?NORM) (or (confersNorm ?DECLARE ?PROP ?NORM) (deprivesNorm ?DECLARE ?PROP ?NORM)))) |
Merge.kif 13400-13405 | |
| (=> (instance ?DOC Certificate) (exists (?PROP ?NORM) (or (confersNorm ?DOC ?PROP ?NORM) (deprivesNorm ?DOC ?PROP ?NORM)))) |
Merge.kif 15789-15794 |
|
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