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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 800-802
s__partition__3(s__Physical,s__Object,s__Process)

Merge.kif 798-798 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 797-797 Physical is a subclass of entity

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


s__partition__3(s__Entity,s__Physical,s__Abstract)

Merge.kif 781-781 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 1198-1198 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 811-811 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 5772-5772 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 1526-1526 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 7894-7894 The number 1 argument of when is an instance of physical
s__domain(s__WhereFn__m,n__1,s__Physical)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Government.kif 2496-2496 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 1359-1359 The number 1 argument of date established is an instance of physical
s__domain(s__distance__m,n__1,s__Physical)

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

Merge.kif 7248-7248 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 5106-5106 The number 1 argument of flows is an instance of physical
s__domain(s__flows__m,n__2,s__Physical)

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

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

Merge.kif 3787-3787 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 28134-28143
No TPTP formula. May not be expressible in strict first order. Merge.kif 7519-7526
No TPTP formula. May not be expressible in strict first order. Catalog.kif 322-337
( ! [V__AGENT,V__OBJECT,V__AMOUNT,V__BIDDING] :
   ((s__instance(V__AGENT,s__Agent) &
       s__instance(V__AGENT,s__SetOrClass))
     =>
     (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 1611-1620
( ! [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 2282-2295
No TPTP formula. May not be expressible in strict first order. Merge.kif 12011-12024
No TPTP formula. May not be expressible in strict first order. Catalog.kif 262-276
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 339-355
No TPTP formula. May not be expressible in strict first order. Catalog.kif 357-372
( ! [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 23509-23514
( ! [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 804-809

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 1016-1020
( ! [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 24713-24721
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3091-3106
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3125-3142
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3050-3074
( ! [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) )
)

( ! [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(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) )
)

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

Mid-level-ontology.kif 24705-24707
( ! [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 305-320
( ! [V__RA] :
   (s__instance(V__RA,s__RepresentationalArtWork) =>
     ( ? [V__P] :
       ((s__instance(V__P,s__Physical) &
           s__represents(V__RA,V__P))))
   )
)

Merge.kif 14691-14696
No TPTP formula. May not be expressible in strict first order. Merge.kif 11997-12009
( ! [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 2446-2463


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