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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - property
property

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


s__documentation(s__property__m,s__ChineseLanguage,'"这个 PredicateEntity 的实例和 Attribute 的 实例成立。(property ?ENTITY ?ATTR) 的意思是 ?ENTITY 有 ?ATTR 的 Attribute。"')

chinese_format.kif 1712-1713
s__documentation(s__property__m,s__EnglishLanguage,'"This Predicate holds between an instance of Entity and an instance of Attribute. (property ?ENTITY ?ATTR) means that ?ENTITY has the Attribute ?ATTR."')

Merge.kif 1621-1623
s__domain(s__property__m,n__1,s__Entity)

Merge.kif 1618-1618 The number 1 argument of property is an instance of entity
s__domain(s__property__m,n__2,s__Attribute)

Merge.kif 1619-1619 The number 2 argument of property is an instance of attribute
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__property__m,s__BinaryPredicate)

Merge.kif 1617-1617 property is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__property__m,'"%1 %n 有 %2 的 attribute"')

chinese_format.kif 177-177
s__format(s__EnglishLanguage,s__property__m,'"%1 %n{does not have} the attribute %2"')

english_format.kif 181-181
s__subrelation(s__abstractionLevel__m,s__property__m)

QoSontology.kif 1622-1622 abstraction level is a subrelation of property
s__subrelation(s__attribute__m,s__property__m)

Merge.kif 1629-1629 attribute is a subrelation of property
s__subrelation(s__complexity__m,s__property__m)

QoSontology.kif 1519-1519 complexity is a subrelation of property
s__subrelation(s__designPattern__m,s__property__m)

QoSontology.kif 1378-1378 design pattern is a subrelation of property
s__subrelation(s__environmentAttributes__m,s__property__m)

QoSontology.kif 457-457 environment attributes is a subrelation of property
s__subrelation(s__formOfAdaptation__m,s__property__m)

QoSontology.kif 1475-1475 form of adaptation is a subrelation of property
s__subrelation(s__manner__m,s__property__m)

Merge.kif 1641-1641 manner is a subrelation of property
s__subrelation(s__modalAttribute__m,s__property__m)

Merge.kif 16492-16492 modal attribute is a subrelation of property
s__subrelation(s__shape__m,s__property__m)

Mid-level-ontology.kif 24264-24264 shape is a subrelation of property
s__subrelation(s__status__m,s__property__m)

QoSontology.kif 794-794 status is a subrelation of property
s__subrelation(s__strictness__m,s__property__m)

QoSontology.kif 1558-1558 strictness is a subrelation of property
s__subrelation(s__systemBehavior__m,s__property__m)

QoSontology.kif 1347-1347 system behavior is a subrelation of property
s__subrelation(s__taskRelation__m,s__property__m)

QoSontology.kif 1447-1447 task relation is a subrelation of property
s__subrelation(s__truth__m,s__property__m)

Merge.kif 16201-16201 truth is a subrelation of property
s__termFormat(s__ChineseLanguage,s__property__m,'"属性"')

domainEnglishFormat.kif 47787-47787
s__termFormat(s__ChineseLanguage,s__property__m,'"特性"')

chinese_format.kif 178-178
s__termFormat(s__ChineseTraditionalLanguage,s__property__m,'"屬性"')

domainEnglishFormat.kif 47786-47786
s__termFormat(s__EnglishLanguage,s__property__m,'"property"')

domainEnglishFormat.kif 47785-47785

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2673-2683 An entity is an instance of region and the entity the attribute standard ambient temperature and pressure holds during a time position if and only if 298.15 kelvin degree(s) is an air temperature of the entity and 29.530 inch mercury(s) is a barometric pressure of the entity holds during the time position
( ! [V__ATTR,V__X] :
   (((s__instance(V__ATTR,s__SpeedScaleAttribute) &
         s__property(V__X,V__ATTR))
     =>
     (s__instance(V__X,s__Motion)))
   )
)

Weather.kif 2049-2053
( ! [V__X,V__BN] :
   (((s__instance(V__BN,s__BeaufortNumberAttribute) &
         s__property(V__X,V__BN))
     =>
     (s__instance(V__X,s__Wind)))
   )
)

Weather.kif 343-347
( ! [V__DOC,V__PROP] :
   ((s__instance(V__PROP,s__Proposition) =>
       (((s__instance(V__DOC,s__ContractDocument) &
             s__containsInformation(V__DOC,V__PROP)
           &
           s__property(V__PROP,s__Contract))
         =>
         (s__property(V__PROP,s__Law)))))
   )
)

Media.kif 995-1000
( ! [V__EF,V__T] :
   (((s__instance(V__EF,s__EFScaleAttribute) &
         s__property(V__T,V__EF))
     =>
     (s__instance(V__T,s__Tornado)))
   )
)

Weather.kif 2083-2087
( ! [V__Time,V__Exercise,V__Option,V__Stocks] :
   (((s__instance(V__Time,s__TimePosition) &
         s__instance(V__Option,s__Agreement) &
         s__instance(V__Stocks,s__FinancialInstrument))
       =>
       (((s__instance(V__Exercise,s__ExerciseAnOption) &
             s__patient(V__Exercise,V__Option)
           &
           s__property(V__Option,s__CallOption) &
           s__time(V__Exercise,V__Time)
         &
         s__underlier(V__Option,V__Stocks))
     =>
     (( ? [V__Buy] :
         ((s__instance(V__Buy,s__Buying) &
             s__patient(V__Buy,V__Stocks)
           &
           s__time(V__Buy,V__Time)
         &
         s__measure(V__Stocks,s__MeasureFn(n__100,s__ShareUnit)))))))))
)
)

FinancialOntology.kif 2715-2727
( ! [V__Time,V__Exercise,V__Option,V__Stocks] :
   (((s__instance(V__Time,s__TimePosition) &
         s__instance(V__Option,s__Agreement) &
         s__instance(V__Stocks,s__FinancialInstrument))
       =>
       (((s__instance(V__Exercise,s__ExerciseAnOption) &
             s__patient(V__Exercise,V__Option)
           &
           s__property(V__Option,s__PutOption) &
           s__time(V__Exercise,V__Time)
         &
         s__underlier(V__Option,V__Stocks))
     =>
     (( ? [V__Sell] :
         ((s__instance(V__Sell,s__Selling) &
             s__patient(V__Sell,V__Stocks)
           &
           s__time(V__Sell,V__Time)
         &
         s__measure(V__Stocks,s__MeasureFn(n__100,s__ShareUnit)))))))))
)
)

FinancialOntology.kif 2729-2741
No TPTP formula. May not be expressible in strict first order. Weather.kif 2436-2450
No TPTP formula. May not be expressible in strict first order. Weather.kif 2358-2377
( ! [V__O,V__X] :
   (((s__instance(V__O,s__OccupationalRole) &
         s__property(V__X,V__O))
     =>
     (s__instance(V__X,s__CognitiveAgent)))
   )
)

Mid-level-ontology.kif 21022-21026
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 230-235
( ! [V__Path] :
   (((s__instance(V__Path,s__ComputerPath) &
         s__property(V__Path,s__ContinuousPath))
       =>
       (~(s__property(V__Path,s__QuasicontinuousPath))))
     )
   )

QoSontology.kif 1170-1174
( ! [V__Path] :
   (((s__instance(V__Path,s__ComputerPath) &
         s__property(V__Path,s__ContinuousPath))
       =>
       (~(s__property(V__Path,s__TransientPath))))
     )
   )

QoSontology.kif 1164-1168
( ! [V__Path] :
   (((s__instance(V__Path,s__ComputerPath) &
         s__property(V__Path,s__DynamicDataStream))
       =>
       (~(s__property(V__Path,s__DeterministicDataStream))))
     )
   )

QoSontology.kif 1142-1146
( ! [V__Path] :
   (((s__instance(V__Path,s__ComputerPath) &
         s__property(V__Path,s__DynamicDataStream))
       =>
       (~(s__property(V__Path,s__StochasticDataStream))))
     )
   )

QoSontology.kif 1136-1140
( ! [V__WIDTH,V__RR] :
   ((s__instance(V__WIDTH,s__RealNumber) =>
       (((s__instance(V__RR,s__Railway) &
             s__property(V__RR,s__BroadGauge) &
             s__trackWidth(V__RR,s__MeasureFn(V__WIDTH,s__Meter)))
         =>
         (s__greaterThan(V__WIDTH,n__1_44)))))
)
)

Transportation.kif 403-409
( ! [V__WIDTH,V__RR] :
   ((s__instance(V__WIDTH,s__RealNumber) =>
       (((s__instance(V__RR,s__Railway) &
             s__property(V__RR,s__NarrowGauge) &
             s__trackWidth(V__RR,s__MeasureFn(V__WIDTH,s__Meter)))
         =>
         (s__lessThanOrEqualTo(V__WIDTH,n__1_435)))))
)
)

Transportation.kif 453-458
( ! [V__WIDTH,V__RR] :
   ((s__instance(V__WIDTH,s__RealNumber) =>
       (((s__instance(V__RR,s__Railway) &
             s__property(V__RR,s__StandardGauge) &
             s__trackWidth(V__RR,s__MeasureFn(V__WIDTH,s__Meter)))
         =>
         (s__greaterThanOrEqualTo(V__WIDTH,n__1_435)))))
)
)

Transportation.kif 427-433
( ! [V__WIDTH,V__RR] :
   ((s__instance(V__WIDTH,s__RealNumber) =>
       (((s__instance(V__RR,s__Railway) &
             s__property(V__RR,s__StandardGauge) &
             s__trackWidth(V__RR,s__MeasureFn(V__WIDTH,s__Meter)))
         =>
         (s__lessThanOrEqualTo(V__WIDTH,n__1_44)))))
)
)

Transportation.kif 435-441
( ! [V__H,V__SS] :
   (((s__instance(V__SS,s__SSHWSAttribute) &
         s__property(V__H,V__SS))
     =>
     (s__instance(V__H,s__Hurricane)))
   )
)

Weather.kif 2352-2356
No TPTP formula. May not be expressible in strict first order. Weather.kif 2184-2198
No TPTP formula. May not be expressible in strict first order. Weather.kif 2089-2107
No TPTP formula. May not be expressible in strict first order. Weather.kif 484-496
No TPTP formula. May not be expressible in strict first order. Weather.kif 349-366
No TPTP formula. May not be expressible in strict first order. Geography.kif 6746-6752

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__Agent,V__Org] :
   (((s__instance(V__Agent,s__Agreement) &
         s__instance(V__Agent,s__CognitiveAgent) &
         s__instance(V__Org,s__Agent) &
         s__instance(V__Org,s__Agreement))
       =>
       (((s__employs(V__Org,V__Agent)
           =>
           ( ? [V__Employment] :
             ((s__instance(V__Employment,s__CognitiveAgent) &
                 (s__property(V__Employment,s__Employment) &
                   s__partyToAgreement(V__Employment,V__Org)
                 &
                 s__partyToAgreement(V__Employment,V__Agent))))))
     &
     (( ? [V__Employment] :
         ((s__instance(V__Employment,s__CognitiveAgent) &
             (s__property(V__Employment,s__Employment) &
               s__partyToAgreement(V__Employment,V__Org)
             &
             s__partyToAgreement(V__Employment,V__Agent)))))
   =>
   s__employs(V__Org,V__Agent)))))
)
)

FinancialOntology.kif 3221-3227 An agent employs an agreement if and only if there exists a cognitive agent such that the cognitive agent the attribute employment and the agent is a party to agreement of the cognitive agent and the agreement is a party to agreement of the cognitive agent
( ! [V__Program] :
   ((s__instance(V__Program,s__ComputerProgram) =>
       (((( ? [V__Process] :
               ((s__instance(V__Process,s__ComputerProcess) &
                   s__programRunning(V__Process,V__Program))))
           =>
           s__property(V__Program,s__Executable))
         &
         (s__property(V__Program,s__Executable) =>
           ( ? [V__Process] :
             ((s__instance(V__Process,s__ComputerProcess) &
                 s__programRunning(V__Process,V__Program))))))))
)
)

QoSontology.kif 987-990 There exists a computer process such that a computer program is a program running of the computer process if and only if the computer program the attribute executable
( ! [V__RR] :
   (((s__instance(V__RR,s__BroadGaugeRailway) =>
         s__property(V__RR,s__BroadGauge))
       &
       (s__property(V__RR,s__BroadGauge) =>
         s__instance(V__RR,s__BroadGaugeRailway)))
     )
   )

Transportation.kif 411-413 An entity is an instance of broad gauge railway if and only if the entity the attribute broad gauge
( ! [V__RR] :
   (((s__instance(V__RR,s__DualGaugeRailway) =>
         s__property(V__RR,s__DualGauge))
       &
       (s__property(V__RR,s__DualGauge) =>
         s__instance(V__RR,s__DualGaugeRailway)))
     )
   )

Transportation.kif 469-471 An entity is an instance of DualGaugeRailway if and only if the entity the attribute dual gauge railway
( ! [V__RR] :
   (((s__instance(V__RR,s__NarrowGaugeRailway) =>
         s__property(V__RR,s__NarrowGauge))
       &
       (s__property(V__RR,s__NarrowGauge) =>
         s__instance(V__RR,s__NarrowGaugeRailway)))
     )
   )

Transportation.kif 460-462 An entity is an instance of narrow gauge railway if and only if the entity the attribute narrow gauge
( ! [V__RR] :
   (((s__instance(V__RR,s__StandardGaugeRailway) =>
         s__property(V__RR,s__StandardGauge))
       &
       (s__property(V__RR,s__StandardGauge) =>
         s__instance(V__RR,s__StandardGaugeRailway)))
     )
   )

Transportation.kif 443-445 An entity is an instance of standard gauge railway if and only if the entity the attribute standard gauge
( ! [V__ATTR,V__X,V__CLASS] :
   (((s__instance(V__ATTR,s__Attribute) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__instance(V__X,s__AttrFn(V__CLASS,V__ATTR))
         =>
         (s__instance(V__X,V__CLASS)
         &
         s__property(V__X,V__ATTR)))
   &
   ((s__instance(V__X,V__CLASS)
     &
     s__property(V__X,V__ATTR))
=>
s__instance(V__X,s__AttrFn(V__CLASS,V__ATTR))))))
)
)

Merge.kif 1711-1716 An entity is an instance of the attr of a class and an attribute if and only if the entity is an instance of the class and the entity the attribute the attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12905-12908
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12866-12871
No TPTP formula. May not be expressible in strict first order. Merge.kif 16523-16536
( ! [V__Agent,V__Account,V__Bank] :
   (((s__instance(V__Agent,s__Agreement) &
         s__instance(V__Agent,s__CognitiveAgent) &
         s__instance(V__Bank,s__Agreement) &
         s__instance(V__Bank,s__FinancialOrganization))
       =>
       (((s__instance(V__Account,s__LiabilityAccount) &
             s__accountHolder(V__Account,V__Agent)
           &
           s__accountAt(V__Account,V__Bank))
       =>
       (( ? [V__Debt] :
           ((s__instance(V__Debt,s__CognitiveAgent) &
               (s__property(V__Debt,s__Liability) &
                 s__partyToAgreement(V__Debt,V__Agent)
               &
               s__partyToAgreement(V__Debt,V__Bank)))))))))
)
)

FinancialOntology.kif 1116-1125
( ! [V__DOC,V__PROP] :
   ((s__instance(V__PROP,s__Proposition) =>
       (((s__instance(V__DOC,s__ContractDocument) &
             s__containsInformation(V__DOC,V__PROP)
           &
           s__property(V__PROP,s__Contract))
         =>
         (s__property(V__PROP,s__Law)))))
   )
)

Media.kif 995-1000
( ! [V__Path] :
   (((s__instance(V__Path,s__ComputerPath) &
         s__property(V__Path,s__ContinuousPath))
       =>
       (~(s__property(V__Path,s__QuasicontinuousPath))))
     )
   )

QoSontology.kif 1170-1174
( ! [V__Path] :
   (((s__instance(V__Path,s__ComputerPath) &
         s__property(V__Path,s__ContinuousPath))
       =>
       (~(s__property(V__Path,s__TransientPath))))
     )
   )

QoSontology.kif 1164-1168
( ! [V__Path] :
   (((s__instance(V__Path,s__ComputerPath) &
         s__property(V__Path,s__DynamicDataStream))
       =>
       (~(s__property(V__Path,s__DeterministicDataStream))))
     )
   )

QoSontology.kif 1142-1146
( ! [V__Path] :
   (((s__instance(V__Path,s__ComputerPath) &
         s__property(V__Path,s__DynamicDataStream))
       =>
       (~(s__property(V__Path,s__StochasticDataStream))))
     )
   )

QoSontology.kif 1136-1140
( ! [V__AGENT,V__POP_COLL,V__EXPERIMENT,V__SAMPLE_COLL] :
   (((s__instance(V__SAMPLE_COLL,s__Collection) &
         s__instance(V__POP_COLL,s__Collection) &
         s__instance(V__EXPERIMENT,s__Experimenting) &
         s__instance(V__AGENT,s__CognitiveAgent) &
         s__agent(V__EXPERIMENT,V__AGENT)
       &
       s__statisticalPopulation(V__SAMPLE_COLL,V__POP_COLL,V__EXPERIMENT))
   =>
   (( ! [V__ATTRIBUTE] :
       (((s__instance(V__ATTRIBUTE,s__Attribute) &
             s__property(V__SAMPLE_COLL,V__ATTRIBUTE)
           &
           s__inScopeOfInterest(V__AGENT,V__ATTRIBUTE)
         &
         ~((V__ATTRIBUTE = s__RepresentativeSample)))
         =>
         (s__property(V__POP_COLL,V__ATTRIBUTE)))))))
)
)

UXExperimentalTerms.kif 629-645
( ! [V__Option,V__Stock] :
   (((s__instance(V__Option,s__Agreement) &
         s__instance(V__Stock,s__FinancialInstrument))
       =>
       (((s__property(V__Option,s__StockOption) &
             s__underlier(V__Option,V__Stock))
         =>
         (s__property(V__Stock,s__CommonStock)))))
   )
)

FinancialOntology.kif 2674-2678
( ! [V__ATTR,V__U,V__MAX,V__MIN] :
   (((s__instance(V__ATTR,s__SpeedScaleAttribute) &
         s__instance(V__MAX,s__RealNumber) &
         s__instance(V__MIN,s__RealNumber))
       =>
       (((s__speedScaleAttributeMinMax(V__ATTR,s__MeasureFn(V__MIN,V__U)
          ,s__MeasureFn(V__MAX,V__U))
       &
       s__instance(V__U,s__UnitOfMeasure))
     =>
     (( ? [V__X, V__SPEED] :
         ((s__instance(V__SPEED,s__RealNumber) &
             (s__instance(V__X,s__Motion) &
               s__property(V__X,V__ATTR)
             &
             s__measure(V__X,s__MeasureFn(V__SPEED,V__U))
         &
         s__greaterThanOrEqualTo(V__SPEED,V__MIN)
       &
       s__lessThanOrEqualTo(V__SPEED,V__MAX)))))))))
)
)

Weather.kif 2123-2136
( ! [V__ATTR,V__X,V__I,V__CLASS] :
   (((s__instance(V__X,s__Class) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__subclass(V__X,V__CLASS)
           &
           s__instance(V__I,V__X)
         &
         s__instance(V__ATTR,s__Attribute))
       =>
       ((s__property(V__I,V__ATTR)
         =>
         ((V__X = s__AttrFn(V__CLASS,V__ATTR))))))))
)
)

Merge.kif 1701-1709
No TPTP formula. May not be expressible in strict first order. Merge.kif 683-690
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19472-19485
( ! [V__NUMBER1,V__NUMBER2,V__OBJ,V__ROW3,V__ROW4,V__ROW2] :
   (((s__instance(V__NUMBER1,s__PositiveInteger) &
         s__instance(V__NUMBER2,s__PositiveInteger) &
         s__instance(V__ROW3,s__Attribute) &
         s__instance(V__ROW4,s__Attribute) &
         s__instance(V__ROW2,s__Attribute))
       =>
       ((s__contraryAttribute__3(V__ROW2,V__ROW3,V__ROW4)
         =>
         (( ! [V__ATTR1, V__ATTR2] :
             (((s__instance(V__ATTR1,s__Attribute) &
                   s__instance(V__ATTR2,s__Attribute))
                 =>
                 ((((V__ATTR1 = s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
                      ,V__NUMBER1))
                   &
                   (V__ATTR2 = s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
                  ,V__NUMBER2))
               &
               ~((V__NUMBER1 = V__NUMBER2)))
             =>
             ((s__property(V__OBJ,V__ATTR1)
               =>
               (~(s__property(V__OBJ,V__ATTR2))))))))))))))
)
)

( ! [V__NUMBER1,V__NUMBER2,V__ROW5,V__OBJ,V__ROW3,V__ROW4,V__ROW2] :
   (((s__instance(V__NUMBER1,s__PositiveInteger) &
         s__instance(V__NUMBER2,s__PositiveInteger) &
         s__instance(V__ROW5,s__Attribute) &
         s__instance(V__ROW3,s__Attribute) &
         s__instance(V__ROW4,s__Attribute) &
         s__instance(V__ROW2,s__Attribute))
       =>
       ((s__contraryAttribute__4(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
         =>
         (( ! [V__ATTR1, V__ATTR2] :
             (((s__instance(V__ATTR1,s__Attribute) &
                   s__instance(V__ATTR2,s__Attribute))
                 =>
                 ((((V__ATTR1 = s__ListOrderFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
                      ,V__NUMBER1))
                   &
                   (V__ATTR2 = s__ListOrderFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
                  ,V__NUMBER2))
               &
               ~((V__NUMBER1 = V__NUMBER2)))
             =>
             ((s__property(V__OBJ,V__ATTR1)
               =>
               (~(s__property(V__OBJ,V__ATTR2))))))))))))))
)
)

( ! [V__NUMBER1,V__NUMBER2,V__ROW5,V__ROW6,V__OBJ,V__ROW3,V__ROW4,V__ROW2] :
   (((s__instance(V__NUMBER1,s__PositiveInteger) &
         s__instance(V__NUMBER2,s__PositiveInteger) &
         s__instance(V__ROW5,s__Attribute) &
         s__instance(V__ROW6,s__Attribute) &
         s__instance(V__ROW3,s__Attribute) &
         s__instance(V__ROW4,s__Attribute) &
         s__instance(V__ROW2,s__Attribute))
       =>
       ((s__contraryAttribute__5(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
         =>
         (( ! [V__ATTR1, V__ATTR2] :
             (((s__instance(V__ATTR1,s__Attribute) &
                   s__instance(V__ATTR2,s__Attribute))
                 =>
                 ((((V__ATTR1 = s__ListOrderFn(s__ListFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
                      ,V__NUMBER1))
                   &
                   (V__ATTR2 = s__ListOrderFn(s__ListFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
                  ,V__NUMBER2))
               &
               ~((V__NUMBER1 = V__NUMBER2)))
             =>
             ((s__property(V__OBJ,V__ATTR1)
               =>
               (~(s__property(V__OBJ,V__ATTR2))))))))))))))
)
)

( ! [V__NUMBER1,V__ROW7,V__NUMBER2,V__ROW5,V__ROW6,V__OBJ,V__ROW3,V__ROW4,V__ROW2] :
   (((s__instance(V__NUMBER1,s__PositiveInteger) &
         s__instance(V__ROW7,s__Attribute) &
         s__instance(V__NUMBER2,s__PositiveInteger) &
         s__instance(V__ROW5,s__Attribute) &
         s__instance(V__ROW6,s__Attribute) &
         s__instance(V__ROW3,s__Attribute) &
         s__instance(V__ROW4,s__Attribute) &
         s__instance(V__ROW2,s__Attribute))
       =>
       ((s__contraryAttribute__6(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)
         =>
         (( ! [V__ATTR1, V__ATTR2] :
             (((s__instance(V__ATTR1,s__Attribute) &
                   s__instance(V__ATTR2,s__Attribute))
                 =>
                 ((((V__ATTR1 = s__ListOrderFn(s__ListFn__6Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)
                      ,V__NUMBER1))
                   &
                   (V__ATTR2 = s__ListOrderFn(s__ListFn__6Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)
                  ,V__NUMBER2))
               &
               ~((V__NUMBER1 = V__NUMBER2)))
             =>
             ((s__property(V__OBJ,V__ATTR1)
               =>
               (~(s__property(V__OBJ,V__ATTR2))))))))))))))
)
)

( ! [V__NUMBER1,V__NUMBER2,V__OBJ,V__ROW3,V__ROW2] :
   (((s__instance(V__NUMBER1,s__PositiveInteger) &
         s__instance(V__NUMBER2,s__PositiveInteger) &
         s__instance(V__ROW3,s__Attribute) &
         s__instance(V__ROW2,s__Attribute))
       =>
       ((s__contraryAttribute__2(V__ROW2,V__ROW3)
         =>
         (( ! [V__ATTR1, V__ATTR2] :
             (((s__instance(V__ATTR1,s__Attribute) &
                   s__instance(V__ATTR2,s__Attribute))
                 =>
                 ((((V__ATTR1 = s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
                      ,V__NUMBER1))
                   &
                   (V__ATTR2 = s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
                  ,V__NUMBER2))
               &
               ~((V__NUMBER1 = V__NUMBER2)))
             =>
             ((s__property(V__OBJ,V__ATTR1)
               =>
               (~(s__property(V__OBJ,V__ATTR2))))))))))))))
)
)

( ! [V__NUMBER1,V__NUMBER2,V__OBJ,V__ROW2] :
   (((s__instance(V__NUMBER1,s__PositiveInteger) &
         s__instance(V__NUMBER2,s__PositiveInteger) &
         s__instance(V__ROW2,s__Attribute))
       =>
       ((s__contraryAttribute__1(V__ROW2)
         =>
         (( ! [V__ATTR1, V__ATTR2] :
             (((s__instance(V__ATTR1,s__Attribute) &
                   s__instance(V__ATTR2,s__Attribute))
                 =>
                 ((((V__ATTR1 = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
                      ,V__NUMBER1))
                   &
                   (V__ATTR2 = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
                  ,V__NUMBER2))
               &
               ~((V__NUMBER1 = V__NUMBER2)))
             =>
             ((s__property(V__OBJ,V__ATTR1)
               =>
               (~(s__property(V__OBJ,V__ATTR2))))))))))))))
)
)

( ! [V__NUMBER1,V__ROW7,V__NUMBER2,V__ROW8,V__ROW5,V__ROW6,V__OBJ,V__ROW3,V__ROW4,V__ROW2] :
   (((s__instance(V__NUMBER1,s__PositiveInteger) &
         s__instance(V__ROW7,s__Attribute) &
         s__instance(V__NUMBER2,s__PositiveInteger) &
         s__instance(V__ROW8,s__Attribute) &
         s__instance(V__ROW5,s__Attribute) &
         s__instance(V__ROW6,s__Attribute) &
         s__instance(V__ROW3,s__Attribute) &
         s__instance(V__ROW4,s__Attribute) &
         s__instance(V__ROW2,s__Attribute))
       =>
       ((s__contraryAttribute__7(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8)
         =>
         (( ! [V__ATTR1, V__ATTR2] :
             (((s__instance(V__ATTR1,s__Attribute) &
                   s__instance(V__ATTR2,s__Attribute))
                 =>
                 ((((V__ATTR1 = s__ListOrderFn(s__ListFn__7Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8)
                      ,V__NUMBER1))
                   &
                   (V__ATTR2 = s__ListOrderFn(s__ListFn__7Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8)
                  ,V__NUMBER2))
               &
               ~((V__NUMBER1 = V__NUMBER2)))
             =>
             ((s__property(V__OBJ,V__ATTR1)
               =>
               (~(s__property(V__OBJ,V__ATTR2))))))))))))))
)
)

Merge.kif 475-485
( ! [V__Path,V__Number] :
   (((s__instance(V__Path,s__ComputerPath) &
         s__instance(V__Number,s__PositiveInteger))
       =>
       ((s__dataStreamSlack(V__Path,V__Number)
         =>
         ((s__property(V__Path,s__ContinuousPath) |
             s__property(V__Path,s__QuasicontinuousPath))))))
   )
)

QoSontology.kif 1219-1223
( ! [V__ATTR1,V__ATTR2] :
   (((s__instance(V__ATTR1,s__Attribute) &
         s__instance(V__ATTR2,s__Attribute))
       =>
       (((V__ATTR1 = V__ATTR2)
           =>
           (( ! [V__THING] :
               (((s__property(V__THING,V__ATTR1)
                   =>
                   s__property(V__THING,V__ATTR2))
               &
               (s__property(V__THING,V__ATTR2)
               =>
               s__property(V__THING,V__ATTR1)))))))))
)
)

Merge.kif 265-270

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


s__property(s__Cheetah,s__VulnerableSpecies)

Mid-level-ontology.kif 29265-29265 Cheetah the attribute VulnerableSpecies
s__property(s__Crocodile,s__LeastConcernSpecies)

Mid-level-ontology.kif 29241-29241 Crocodile the attribute LeastConcernSpecies
s__property(s__Ferret,s__LeastConcernSpecies)

Mid-level-ontology.kif 29282-29282 Ferret the attribute LeastConcernSpecies
s__property(s__GuineaPig,s__LeastConcernSpecies)

Mid-level-ontology.kif 29300-29300 Guinea pig the attribute LeastConcernSpecies
s__property(s__Hamster,s__LeastConcernSpecies)

Mid-level-ontology.kif 29312-29312 Hamster the attribute LeastConcernSpecies
s__property(s__Lemur,s__CriticallyEndangeredSpecies)

Mid-level-ontology.kif 29171-29171 Lemur the attribute CriticallyEndangeredSpecies
s__property(s__Lion,s__VulnerableSpecies)

Mid-level-ontology.kif 29072-29072 Lion the attribute VulnerableSpecies
s__property(s__Octopus,s__LeastConcernSpecies)

Mid-level-ontology.kif 29201-29201 Octopus the attribute LeastConcernSpecies
s__property(s__Panda,s__VulnerableSpecies)

Mid-level-ontology.kif 29188-29188 Panda the attribute VulnerableSpecies
s__property(s__Parrot,s__LeastConcernSpecies)

Mid-level-ontology.kif 29154-29154 Parrot the attribute LeastConcernSpecies
s__property(s__Reindeer,s__VulnerableSpecies)

Mid-level-ontology.kif 29223-29223 Reindeer the attribute VulnerableSpecies
s__property(s__Rhinoceros,s__EndangeredSpecies)

Mid-level-ontology.kif 29131-29131 Rhinoceros the attribute endangered species
s__property(s__Tiger,s__EndangeredSpecies)

Mid-level-ontology.kif 29111-29111 Tiger the attribute endangered species


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