Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - domain
domain

appearance as argument number 1
-------------------------


s__documentation(s__domain__m,s__ChineseLanguage,'为声明某种特定关系参数的类型, 提供一个便利计算机和应用启发 式运算的机制。公式(&%domain?REL?INT?CLASS)的意思是在?REL关系中,每个元组的第?INT个元素,必须是 ?CLASS种的一个实例。 指定参数类型对维护知识本体甚有裨益。 表示知识的系统可以使用这些规范来把术语分类, 并 检查系统的完整性约束有否受到破坏。如果出现某个%Relation参数类型的限制,还没有在知识本体内现有 &%SetOrClass定义所描述时,可以使用&%UnionFn和&%IntersectionFn等这些功能,来逐一指定该 &%SetOrClass的限制。 ')

Merge.kif 241-247
s__documentation(s__domain__m,s__EnglishLanguage,'Provides a computationally and heuristically convenient mechanism for declaring the argument types of a given relation. The formula (domain ?REL ?INT ?CLASS) means that the ?INTth element of each tuple in the relation ?REL must be an instance of ?CLASS. Specifying argument types is very helpful in maintaining ontologies. Representation systems can use these specifications to classify terms and check integrity constraints. If the restriction on the argument type of a Relation is not captured by a SetOrClass already defined in the ontology, one can specify a SetOrClass compositionally with the functions UnionFn, IntersectionFn, etc.')

Merge.kif 232-240
s__domain(s__domain__m,1,s__Relation)

Merge.kif 229-229
s__domain(s__domain__m,2,s__PositiveInteger)

Merge.kif 230-230
s__domain(s__domain__m,3,s__SetOrClass)

Merge.kif 231-231
s__instance(s__TernaryPredicate,s__SetOrClass)

Merge.kif 228-228

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__domain__m,'%1 的 %2 数量 %n 是 %3 的 instance')

chinese_format.kif 291-291
s__format(s__EnglishLanguage,s__domain__m,'the number %2 argument of %1 is %n an instance of %3')

english_format.kif 178-178
s__format(s__FrenchLanguage,s__domain__m,'le nombre %2 argument de %1 est %n une instance de %3')

french_format.kif 168-168
s__format(s__ItalianLanguage,s__domain__m,'il numero %2 argomenti di %1 � %n un istanza di %3')

relations-it.txt 82-82
s__format(s__PortugueseLanguage,s__domain__m,'o argumento numero %2 de %1 e %n uma instancia de %3')

portuguese_format.kif 120-120
s__format(s__ar__m,s__domain__m,'الرَّقْم %2 مُتَغَيِّر مٌسْتَقِل لـ %1 هو %n مِثَال عن %3')

arabic_format.kif 113-113
s__format(s__cz__m,s__domain__m,'%2th argument of %1 %p{je} %n{nen�} an instance of %3')

relations-cz.txt 177-177
s__format(s__de__m,s__domain__m,'die Zahl %2 Argument von %1 ist ein fall von %3 %n{nicht}')

relations-de.txt 378-378
s__format(s__hi__m,s__domain__m,'%1 kaa koNaanka sankhyaaa %2, %3 kaa udaaharaNa %n hai')

relations-hindi.txt 122-122
s__format(s__tg__m,s__domain__m,'ang bilang %2 bahagi ng %1 %n ay ang halimbawa ng %3')

relations-cb.txt 116-116
s__termFormat(s__ChineseLanguage,s__domain__m,'定义域')

chinese_format.kif 292-292
s__termFormat(s__EnglishLanguage,s__domain__m,'domain')

domainEnglishFormat.kif 3773-3773
s__termFormat(s__ar__m,s__domain__m,'«الرَّقْم مُتَغَيِّر مٌسْتَقِل لـ مِثَال عن»')

arabic_format.kif 563-563
s__termFormat(s__tg__m,s__domain__m,'lupain')

relations-tg.txt 180-180

antecedent
-------------------------


( ! [V__NUMBER,V__CLASS,V__ROW1] :
   ((s__domain(s__contraryAttribute__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__contraryAttribute__m,s__Predicate) &
     s__contraryAttribute_1(V__ROW1))
=>
s__instance(s__ListOrderFn(s__ListFn_1(V__ROW1)
,V__NUMBER)
,V__CLASS))
)

Merge.kif 3183-3188
( ! [V__REL,V__NUMBER,V__CLASS1,V__CLASS2] :
   ((s__domain(V__REL,V__NUMBER,V__CLASS1)
     &
     s__domain(V__REL,V__NUMBER,V__CLASS2))
=>
(s__subclass(V__CLASS1,V__CLASS2)
|
s__subclass(V__CLASS2,V__CLASS1)))
)

Merge.kif 249-255
( ! [V__REL1,V__NUMBER,V__CLASS1,V__REL2,V__CLASS2] :
   ((s__domain(V__REL1,V__NUMBER,V__CLASS1)
     &
     s__domain(V__REL2,V__NUMBER,V__CLASS2)
   &
   s__disjoint(V__CLASS1,V__CLASS2))
=>
s__disjointRelation(V__REL1,V__REL2))
)

Merge.kif 468-473
( ! [V__REL,V__CLASS] :
   ((s__instance(V__REL,s__EconomicRelation) &
       s__domain(V__REL,1,V__CLASS))
   =>
   s__subclass(V__CLASS,s__GeopoliticalArea))
)

Mid-level-ontology.kif 14460-14464
( ! [V__PRED1,V__PRED2,V__NUMBER,V__CLASS1] :
   ((s__subrelation(V__PRED1,V__PRED2)
     &
     s__domain(V__PRED2,V__NUMBER,V__CLASS1))
=>
s__domain(V__PRED1,V__NUMBER,V__CLASS1))
)

Merge.kif 207-211

consequent
-------------------------


( ! [V__ROW1] :
   ((s__instance(s__duration__m,s__TotalValuedRelation) &
       s__instance(s__duration__m,s__Predicate))
     <=>
     (? [V__VALENCE] :
       (s__instance(s__duration__m,s__Relation) &
         s__valence(s__duration__m,V__VALENCE)
       &
       ((! [V__NUMBER,V__ELEMENT,V__CLASS] :
           ((s__lessThan(V__NUMBER,V__VALENCE)
             &
             s__domain(s__duration__m,V__NUMBER,V__CLASS)
           &
           (V__ELEMENT = s__ListOrderFn(s__ListFn_1(V__ROW1)
          ,V__NUMBER)))
     =>
     s__instance(V__ELEMENT,V__CLASS)))
=>
(? [V__ITEM] :
s__duration(V__ROW1,V__ITEM))))))
)

Merge.kif 2318-2335
( ! [V__PRED1,V__PRED2,V__NUMBER,V__CLASS1] :
   ((s__subrelation(V__PRED1,V__PRED2)
     &
     s__domain(V__PRED2,V__NUMBER,V__CLASS1))
=>
s__domain(V__PRED1,V__NUMBER,V__CLASS1))
)

Merge.kif 207-211
( ! [V__FUN,V__CLASS] :
   (s__instance(V__FUN,s__OneToOneFunction) =>
     (! [V__ARG1,V__ARG2] :
       ((s__domain(V__FUN,1,V__CLASS)
         &
         s__instance(V__ARG1,V__CLASS)
       &
       s__instance(V__ARG2,V__CLASS)
     &
     (~ (V__ARG1 = V__ARG2)))
   =>
   (~ (s__AssignmentFn_2(V__FUN,V__ARG1)
     = s__AssignmentFn_2(V__FUN,V__ARG2))))))
)

Merge.kif 3452-3461
( ! [V__FUNCTION,V__CLASS] :
   (s__instance(V__FUNCTION,s__AssociativeFunction) =>
     (! [V__INST1,V__INST2,V__INST3] :
       ((s__domain(V__FUNCTION,1,V__CLASS)
         &
         s__instance(V__INST1,V__CLASS)
       &
       s__instance(V__INST2,V__CLASS)
     &
     s__instance(V__INST3,V__CLASS))
=>
(s__AssignmentFn_3(V__FUNCTION,V__INST1,s__AssignmentFn_3(V__FUNCTION,V__INST2,V__INST3))
= s__AssignmentFn_3(V__FUNCTION,s__AssignmentFn_3(V__FUNCTION,V__INST1,V__INST2)
,V__INST3)))))
)

Merge.kif 3498-3508
( ! [V__FUNCTION,V__CLASS] :
   (s__instance(V__FUNCTION,s__CommutativeFunction) =>
     (! [V__INST1,V__INST2] :
       ((s__domain(V__FUNCTION,1,V__CLASS)
         &
         s__instance(V__INST1,V__CLASS)
       &
       s__instance(V__INST2,V__CLASS))
   =>
   (s__AssignmentFn_3(V__FUNCTION,V__INST1,V__INST2)
   = s__AssignmentFn_3(V__FUNCTION,V__INST2,V__INST1)))))
)

Merge.kif 3520-3529

appearance as argument number 0
-------------------------


s__domain(s__ABPFn__m,1,s__Collection)

UXExperimentalTerms.kif 3432-3432
s__domain(s__ASPFn__m,1,s__Collection)

UXExperimentalTerms.kif 3475-3475
s__domain(s__AbortedFn__m,1,s__Agent)

MilitaryProcesses.kif 2378-2378
s__domain(s__AbortedFn__m,2,s__Process)

MilitaryProcesses.kif 2379-2379
s__domain(s__AbortedLaunchFn__m,2,s__TakingOff)

MilitaryProcesses.kif 2444-2444
s__domain(s__AbortedMissionFn__m,2,s__MilitaryOperation)

MilitaryProcesses.kif 2398-2398
s__domain(s__AbsoluteValueFn__m,1,s__RealNumber)

Merge.kif 4904-4904
s__domain(s__AccelerationFn__m,1,s__FunctionQuantity)

Cars.kif 1274-1274
s__domain(s__AccelerationFn__m,2,s__TimeDuration)

Cars.kif 1275-1275
s__domain(s__AccelerationFn__m,3,s__Object)

Cars.kif 1276-1276
s__domain(s__AccelerationFn__m,4,s__DirectionalAttribute)

Cars.kif 1277-1277
s__domain(s__AccountFn__m,1,s__FinancialAsset)

FinancialOntology.kif 2247-2247
s__domain(s__AccountOfServiceFn__m,1,s__SocialNetworkingSite)

Facebook.kif 98-98
s__domain(s__AdditionFn__m,1,s__Quantity)

Merge.kif 4845-4845
s__domain(s__AdditionFn__m,2,s__Quantity)

Merge.kif 4846-4846
s__domain(s__AddressFn__m,1,s__ComputerFile)

QoSontology.kif 218-218
s__domain(s__AgreementOrganizationFn__m,1,s__Agreement)

Geography.kif 2902-2902
s__domain(s__AlbumCopiesFn__m,1,s__Album)

Music.kif 932-932
s__domain(s__AssignmentFn__m,1,s__Function)

Merge.kif 808-808
s__domain(s__AssignmentFn__m,2,s__Entity)

Merge.kif 809-809
s__domain(s__AssociateDegreeFn__m,1,s__FieldOfStudy)

LinkedInDegrees.kif 257-257
s__domain(s__AssociateDegreeFn__m,2,s__JuniorCollege)

LinkedInDegrees.kif 258-258
s__domain(s__AttrFn__m,1,s__SetOrClass)

Merge.kif 1820-1820
s__domain(s__AttrFn__m,2,s__Attribute)

Merge.kif 1821-1821
s__domain(s__AuctionGMBFn__m,1,s__Collection)

UXExperimentalTerms.kif 3397-3397

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