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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Physical

Sigma KEE - Physical
Physical(physical)Coriolis_effect, aversive_stimulus, bandwagon_effect, butterfly_effect, common_nuisance, concrete, domino_effect, emanation, export, exportation, import, importation, knock-on_effect, material, natural_order, perturbation, phenomenon, physical, physical_entity, placebo_effect, plague, position_effect, public_nuisance, pulsation, space-time, space-time_continuum, spaciotemporal, spatiotemporal

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


s__documentation(s__Physical,s__ChineseLanguage,'"存在时空中某位置的个体。注:位置本身应理解为,存在于某个时空 的位置。"')

chinese_format.kif 1550-1551
s__documentation(s__Physical,s__EnglishLanguage,'"An entity that has a location in space-time. Note that locations are themselves understood to have a location in space-time."')

Merge.kif 801-803
s__partition__3(s__Physical,s__Object,s__Process)

Merge.kif 799-799 Physical is exhaustively partitioned into object and process
s__instance(s__Entity,s__SetOrClass)

s__subclass(s__Physical,s__Entity)

s__instance(s__Physical,s__SetOrClass)

Merge.kif 798-798 Physical is a subclass of entity

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


s__partition__3(s__Entity,s__Physical,s__Abstract)

Merge.kif 782-782 Entity is exhaustively partitioned into physical and abstract
s__instance(s__ContentBearingPhysical,s__SetOrClass)

s__instance(s__Physical,s__SetOrClass)

s__subclass(s__ContentBearingPhysical,s__Physical)

Merge.kif 1203-1203 Content bearing physical is a subclass of physical
s__subclass(s__FinancialAsset,s__Physical)

s__instance(s__Physical,s__SetOrClass)

s__instance(s__FinancialAsset,s__SetOrClass)

FinancialOntology.kif 41-41 Financial asset is a subclass of physical
s__instance(s__Object,s__SetOrClass)

s__instance(s__Physical,s__SetOrClass)

s__subclass(s__Object,s__Physical)

Merge.kif 812-812 Object is a subclass of physical
s__subclass(s__PhysicalSystem,s__Physical)

s__instance(s__Physical,s__SetOrClass)

s__instance(s__PhysicalSystem,s__SetOrClass)

Merge.kif 5861-5861 Physical system is a subclass of physical
s__instance(s__Process,s__SetOrClass)

s__subclass(s__Process,s__Physical)

s__instance(s__Physical,s__SetOrClass)

Merge.kif 1532-1532 Process is a subclass of physical
s__termFormat(s__ChineseLanguage,s__Physical,'"物理"')

chinese_format.kif 814-814
s__termFormat(s__EnglishLanguage,s__Physical,'"physical"')

english_format.kif 835-835

appearance as argument number 3
-------------------------


s__domain(s__WhenFn__m,n__1,s__Physical)

Merge.kif 8077-8077 The number 1 argument of when is an instance of physical
s__domain(s__WhereFn__m,n__1,s__Physical)

Merge.kif 4085-4085 The number 1 argument of where is an instance of physical
s__domain(s__abstractCounterpart__m,n__2,s__Physical)

Merge.kif 5852-5852 The number 2 argument of abstractCounterpart is an instance of physical
s__domain(s__altitude__m,n__1,s__Physical)

Merge.kif 7447-7447 The number 1 argument of altitude is an instance of physical
s__domain(s__altitude__m,n__2,s__Physical)

Merge.kif 7448-7448 The number 2 argument of altitude is an instance of physical
s__domain(s__anniversary__m,n__1,s__Physical)

Mid-level-ontology.kif 22366-22366 The number 1 argument of anniversary is an instance of physical
s__domain(s__attitudeForObject__m,n__3,s__Physical)

emotion.kif 2031-2031 The number 3 argument of attitudeForObject is an instance of physical
s__domain(s__cooccur__m,n__1,s__Physical)

Merge.kif 8002-8002 The number 1 argument of cooccur is an instance of physical
s__domain(s__cooccur__m,n__2,s__Physical)

Merge.kif 8003-8003 The number 2 argument of cooccur is an instance of physical
s__domain(s__courseWRTCompassNorth__m,n__1,s__Physical)

Geography.kif 3695-3695 The number 1 argument of courseWRT compass north is an instance of physical
s__domain(s__courseWRTCompassNorth__m,n__2,s__Physical)

Geography.kif 3696-3696 The number 2 argument of courseWRT compass north is an instance of physical
s__domain(s__courseWRTMagneticNorth__m,n__1,s__Physical)

Geography.kif 3666-3666 The number 1 argument of courseWRT magnetic north is an instance of physical
s__domain(s__courseWRTMagneticNorth__m,n__2,s__Physical)

Geography.kif 3667-3667 The number 2 argument of courseWRT magnetic north is an instance of physical
s__domain(s__courseWRTTrueNorth__m,n__1,s__Physical)

Geography.kif 3603-3603 The number 1 argument of courseWRT true north is an instance of physical
s__domain(s__courseWRTTrueNorth__m,n__2,s__Physical)

Geography.kif 3604-3604 The number 2 argument of courseWRT true north is an instance of physical
s__domain(s__date__m,n__1,s__Physical)

Merge.kif 8154-8154 The number 1 argument of date is an instance of physical
s__domain(s__dateDissolved__m,n__1,s__Physical)

Government.kif 2528-2528 The number 1 argument of date dissolved is an instance of physical
s__domain(s__dateEstablished__m,n__1,s__Physical)

Mid-level-ontology.kif 918-918 The number 1 argument of date established is an instance of physical
s__domain(s__distance__m,n__1,s__Physical)

Merge.kif 7425-7425 The number 1 argument of distance is an instance of physical
s__domain(s__distance__m,n__2,s__Physical)

Merge.kif 7426-7426 The number 2 argument of distance is an instance of physical
s__domain(s__evidence__m,n__2,s__Physical)

Law.kif 221-221 The number 2 argument of evidence is an instance of physical
s__domain(s__flows__m,n__1,s__Physical)

Geography.kif 5212-5212 The number 1 argument of flows is an instance of physical
s__domain(s__flows__m,n__2,s__Physical)

Geography.kif 5213-5213 The number 2 argument of flows is an instance of physical
s__domain(s__hasPurpose__m,n__1,s__Physical)

Merge.kif 3817-3817 The number 1 argument of has purpose is an instance of physical
s__domain(s__hasPurposeForAgent__m,n__1,s__Physical)

Merge.kif 3833-3833 The number 1 argument of has purpose for agent is an instance of physical

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__AGENT,V__CUST,V__ITEM] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent))
       =>
       (((s__buys(V__CUST,V__AGENT,V__ITEM)
           &
           s__instance(V__ITEM,s__Physical))
         =>
         (( ? [V__TRANS] :
             ((s__instance(V__TRANS,s__Buying) &
                 s__patient(V__TRANS,V__ITEM)
               &
               s__agent(V__TRANS,V__CUST)
             &
             s__origin(V__TRANS,V__AGENT))))))))
)
)

Mid-level-ontology.kif 28109-28118
No TPTP formula. May not be expressible in strict first order. Merge.kif 7699-7706
No TPTP formula. May not be expressible in strict first order. Catalog.kif 328-343
( ! [V__AGENT,V__OBJECT,V__AMOUNT,V__BIDDING] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__AGENT,s__Class))
       =>
       (((s__instance(V__BIDDING,s__Bidding) &
             s__instance(V__OBJECT,s__Physical) &
             s__instance(V__AMOUNT,s__CurrencyMeasure) &
             s__instance(V__AGENT,V__AGENT)
           &
           s__objectOfBid(V__BIDDING,V__OBJECT)
         &
         s__amountOfBid(V__BIDDING,V__AMOUNT)
       &
       s__agent(V__BIDDING,V__AGENT))
   =>
   (s__bidPrice(V__OBJECT,V__AMOUNT,V__AGENT)))))
)
)

UXExperimentalTerms.kif 1614-1623
( ! [V__PAGE,V__ITEM,V__ADVERTISING] :
   (((s__instance(V__PAGE,s__ViewItemPage) &
         s__instance(V__ADVERTISING,s__WebListing) &
         s__component(V__ADVERTISING,V__PAGE)
       &
       s__patient(V__ADVERTISING,V__ITEM)
     &
     s__instance(V__ITEM,s__Physical))
   =>
   (( ? [V__DESCRIPTION, V__STATING, V__DESCRIPTIONCONTENT] :
       ((s__instance(V__DESCRIPTION,s__Process) &
           s__instance(V__DESCRIPTIONCONTENT,s__Object) &
           (s__instance(V__STATING,s__Stating) &
             s__patient(V__STATING,V__DESCRIPTION)
           &
           s__refers(V__DESCRIPTION,V__ITEM)
         &
         s__result(V__DESCRIPTION,V__DESCRIPTIONCONTENT)
       &
       s__part(V__DESCRIPTIONCONTENT,V__PAGE)))))))
)
)

UXExperimentalTerms.kif 2287-2300
No TPTP formula. May not be expressible in strict first order. Merge.kif 12332-12345
No TPTP formula. May not be expressible in strict first order. Catalog.kif 268-282
No TPTP formula. May not be expressible in strict first order. Catalog.kif 51-62
No TPTP formula. May not be expressible in strict first order. Catalog.kif 345-361
No TPTP formula. May not be expressible in strict first order. Catalog.kif 363-378
( ! [V__OBJ,V__SHAPE] :
   (((s__property(V__OBJ,V__SHAPE)
       &
       s__instance(V__OBJ,s__Physical) &
       s__instance(V__SHAPE,s__ShapeAttribute))
     =>
     (s__shape(V__OBJ,V__SHAPE)))
)
)

Mid-level-ontology.kif 23710-23715
( ! [V__PHYS] :
   ((s__instance(V__PHYS,s__Physical) =>
       (( ? [V__LOC, V__TIME] :
           ((s__instance(V__LOC,s__Object) &
               s__instance(V__TIME,s__TimePosition) &
               (s__located(V__PHYS,V__LOC)
               &
               s__time(V__PHYS,V__TIME)))))))
)
)

Merge.kif 805-810

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


( ! [V__ATTR,V__X] :
   ((s__instance(V__X,s__Object) =>
       (((s__attribute(V__X,V__ATTR)
           &
           s__instance(V__ATTR,s__AmbienceAttribute))
         =>
         (s__instance(V__X,s__Physical)))))
   )
)

Dining.kif 1019-1023
( ! [V__X] :
   (((s__attribute(V__X,s__Historical) &
         s__instance(V__X,s__City))
       =>
       (( ? [V__EV] :
           ((s__instance(V__EV,s__Physical) &
               s__attribute(V__EV,s__Historical) &
               s__eventLocated(V__EV,V__X))))))
   )
)

Mid-level-ontology.kif 24719-24727
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3096-3111
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3130-3147
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3055-3079
( ! [V__AGENT,V__THING] :
   ((s__instance(V__AGENT,s__CognitiveAgent) =>
       (((s__instance(s__lacks__m,s__ObjectAttitude) &
             s__lacks(V__AGENT,V__THING))
         =>
         (s__instance(V__THING,s__Physical)))))
   )
)

( ! [V__AGENT,V__THING] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__THING,s__Agent))
       =>
       (((s__instance(s__enemy__m,s__ObjectAttitude) &
             s__enemy(V__AGENT,V__THING))
         =>
         (s__instance(V__THING,s__Physical)))))
   )
)

( ! [V__AGENT,V__THING] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__THING,s__Object))
       =>
       (((s__instance(s__dislikes__m,s__ObjectAttitude) &
             s__dislikes(V__AGENT,V__THING))
         =>
         (s__instance(V__THING,s__Physical)))))
   )
)

( ! [V__AGENT,V__THING] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__THING,s__Physical))
       =>
       (((s__instance(s__wants__m,s__ObjectAttitude) &
             s__wants(V__AGENT,V__THING))
         =>
         (s__instance(V__THING,s__Physical)))))
   )
)

( ! [V__AGENT,V__THING] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__THING,s__Physical))
       =>
       (((s__instance(s__needs__m,s__ObjectAttitude) &
             s__needs(V__AGENT,V__THING))
         =>
         (s__instance(V__THING,s__Physical)))))
   )
)

Merge.kif 2623-2627
( ! [V__X] :
   ((s__instance(V__X,s__Object) =>
       ((s__attribute(V__X,s__Historical) =>
           (s__instance(V__X,s__Physical)))))
     )
   )

Mid-level-ontology.kif 24711-24713
( ! [V__CHARGE] :
   ((s__instance(V__CHARGE,s__FinalValueFee) =>
       (( ? [V__ADVERT, V__SELLING, V__OWNER, V__ITEM, V__SITE] :
           ((s__instance(V__SITE,s__WebSite) &
               (s__instance(V__ADVERT,s__WebListing) &
                 s__instance(V__SELLING,s__Selling) &
                 s__instance(V__OWNER,s__Agent) &
                 s__instance(V__ITEM,s__Physical) &
                 s__instance(V__ADVERT,s__WebListing) &
                 s__patient(V__ADVERT,V__ITEM)
               &
               s__patient(V__SELLING,V__ITEM)
             &
             s__causes(V__SELLING,V__CHARGE)
           &
           s__agent(V__CHARGE,V__OWNER)
         &
         s__hostedOn(V__ADVERT,V__SITE)
       &
       s__possesses(V__OWNER,V__SITE)
     &
     s__eCommerceSite(V__SELLING,V__OWNER)))))))
)
)

UXExperimentalTerms.kif 307-322
( ! [V__RA] :
   ((s__instance(V__RA,s__RepresentationalArtWork) =>
       (( ? [V__P] :
           ((s__instance(V__P,s__Physical) &
               s__represents(V__RA,V__P))))))
   )
)

Merge.kif 15101-15106
No TPTP formula. May not be expressible in strict first order. Merge.kif 12318-12330
( ! [V__VIEW] :
   ((s__instance(V__VIEW,s__View) =>
       (( ? [V__ENTITY] :
           ((s__instance(V__ENTITY,s__Physical) &
               s__represents(V__VIEW,V__ENTITY))))))
   )
)

Dining.kif 896-901
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2451-2468


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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