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,'存在时空中某位置的个体。注:位置本身应理解为,存在于某个时空 的位置。')

Merge.kif 861-862
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 858-860
s__partition_3(s__Physical,s__Object,s__Process)

Merge.kif 857-857 Physical is exhaustively partitioned into object and process
s__subclass(s__Physical,s__Entity)

s__instance(s__Physical,s__SetOrClass)

s__instance(s__Entity,s__SetOrClass)

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

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


s__partition_3(s__Entity,s__Physical,s__Abstract)

Merge.kif 840-840 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 1324-1324 Content bearing physical is a subclass of physical
s__instance(s__Physical,s__SetOrClass)

s__instance(s__FinancialAsset,s__SetOrClass)

s__subclass(s__FinancialAsset,s__Physical)

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

s__instance(s__Physical,s__SetOrClass)

s__instance(s__Object,s__SetOrClass)

Merge.kif 871-871 Object is a subclass of physical
s__instance(s__PhysicalSystem,s__SetOrClass)

s__instance(s__Physical,s__SetOrClass)

s__subclass(s__PhysicalSystem,s__Physical)

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

s__instance(s__Physical,s__SetOrClass)

s__subclass(s__Process,s__Physical)

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

chinese_format.kif 814-814 "物理" is the printable form of physical in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__Physical,'physical')

english_format.kif 501-501 "physical" is the printable form of physical in english language
s__termFormat(s__FrenchLanguage,s__Physical,'physique')

french_format.kif 490-490 "physique" is the printable form of physical in french language
s__termFormat(s__Hindi,s__Physical,'bhOtika vaswu')

terms-hindi.txt 24-24 "bhOtika vaswu" is the printable form of physical in Hindi
s__termFormat(s__ItalianLanguage,s__Physical,'Entit�Concreta')

terms-it.txt 24-24 "Entit�Concreta" is the printable form of physical in italian language
s__termFormat(s__PortugueseLanguage,s__Physical,'Fisico')

portuguese_format.kif 442-442 "Fisico" is the printable form of physical in portuguese language
s__termFormat(s__ar__m,s__Physical,'فِيْزيَائِي')

arabic_format.kif 226-226 "فِيْزيَائِي" is the printable form of physical in ar
s__termFormat(s__cb__m,s__Physical,'sa lawas')

terms-cb.txt 27-27 "sa lawas" is the printable form of physical in cb
s__termFormat(s__cz__m,s__Physical,'fyzick� objekt')

terms-cz.txt 57-57 "fyzick� objekt" is the printable form of physical in cz
s__termFormat(s__tg__m,s__Physical,'materyal')

terms-tg.txt 27-27 "materyal" is the printable form of physical in tg

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


s__domain(s__WhenFn__m,1,s__Physical)

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

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

Merge.kif 6210-6210 The number 2 argument of abstractCounterpart is an instance of physical
s__domain(s__anniversary__m,1,s__Physical)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Merge.kif 4070-4070 The number 1 argument of has purpose for agent is an instance of physical
s__domain(s__located__m,1,s__Physical)

Merge.kif 4172-4172 The number 1 argument of located is an instance of physical
s__domain(s__managedBy__m,1,s__Physical)

Hotel.kif 614-614 The number 1 argument of managed by is an instance of physical

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__CUST,V__AGENT,V__ITEM] :
   ((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 27688-27697
No TPTP formula. May not be expressible in strict first order. Merge.kif 8129-8136
( ! [V__B,V__ITEM,V__AGENT,V__ENT,V__PRICE,V__PS,V__QUANT,V__PAY] :
   ((s__instance(V__B,s__Buying) &
       s__patient(V__B,V__ITEM)
     &
     s__origin(V__B,V__AGENT)
   &
   (s__publishedPrice(V__ENT,V__PRICE,V__AGENT,V__PS)
   |
   s__unitPrice(V__ENT,V__QUANT,V__AGENT,V__PS))
&
s__subclass(V__ENT,s__Physical) &
s__immediateInstance(V__ITEM,V__ENT)
&
s__validPaymentType(V__PS,V__PAY))
=>
s__modalAttribute('(? [V__PAYMENT] : (s__instance(V__PAYMENT,V__PAY) & s__subProcess(V__PAYMENT,V__B)))',s__Likely))
)

Catalog.kif 322-337
( ! [V__BIDDING,V__OBJECT,V__AMOUNT,V__AGENT] :
   ((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 1615-1624
( ! [V__PAGE,V__ADVERTISING,V__ITEM] :
   ((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__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 2285-2298
( ! [V__S,V__OBJ] :
   ((s__instance(V__S,s__Searching) &
       s__patient(V__S,V__OBJ)
     &
     s__instance(V__OBJ,s__Physical))
   =>
   (? [V__LOC,V__AGENT] :
     (s__instance(V__AGENT,s__CognitiveAgent) &
       s__agent(V__S,V__AGENT)
     &
     s__instance(V__LOC,s__Object) &
     s__located(V__OBJ,V__LOC)
   &
   s__hasPurposeForAgent(V__S,'s__knows(V__AGENT,s__located(V__OBJ,V__LOC))',V__AGENT))))
)

Merge.kif 12783-12796
( ! [V__ENT,V__PRICE,V__AGREE,V__SELLER,V__BUYER,V__S,V__ITEM] :
   ((s__negotiatedPrice(V__ENT,V__PRICE,V__AGREE)
     &
     s__partyToAgreement(V__SELLER,V__AGREE)
   &
   s__partyToAgreement(V__BUYER,V__AGREE)
&
s__subclass(V__ENT,s__Physical))
=>
s__modalAttribute('((s__instance(V__S,s__Selling) & s__patient(V__S,V__ITEM) & s__immediateInstance(V__ITEM,V__ENT) & s__agent(V__S,V__SELLER) & s__destination(V__S,V__BUYER)) => s__transactionAmount(V__S,V__PRICE))',s__Promise))
)

Catalog.kif 262-276
( ! [V__AGENT,V__CATALOG,V__OBJ] :
   ((s__offers(V__AGENT,V__CATALOG)
     &
     s__catalogItem(V__OBJ,V__CATALOG)
   &
   s__subclass(V__OBJ,s__Physical))
=>
s__modalAttribute('(? [V__S,V__X] : (s__instance(V__X,V__OBJ) & s__instance(V__S,s__Selling) & s__agent(V__S,V__AGENT) & s__patient(V__S,V__X)))',s__Possibility))
)

Catalog.kif 51-62
( ! [V__ENT,V__PRICE,V__AGENT,V__PS,V__QUANT,V__ITEM,V__CUSTCLASS,V__CUSTOMER,V__B] :
   (((s__publishedPrice(V__ENT,V__PRICE,V__AGENT,V__PS)
       |
       s__unitPrice(V__ENT,V__QUANT,V__AGENT,V__PS))
   &
   s__subclass(V__ENT,s__Physical) &
   s__immediateInstance(V__ITEM,V__ENT)
&
s__validFor(V__PS,V__CUSTCLASS)
&
s__instance(V__CUSTOMER,V__CUSTCLASS))
=>
s__modalAttribute('((s__instance(V__B,s__Buying) & s__agent(V__B,V__CUSTOMER) & s__origin(V__B,V__AGENT) & s__patient(V__B,V__ITEM)) => s__transactionAmount(V__B,V__PRICE))',s__Likely))
)

Catalog.kif 339-355
( ! [V__ENT,V__PRICE,V__AGENT,V__PS,V__QUANT,V__ITEM,V__TIMEINT,V__TIMTEINT,V__S,V__SELLING] :
   (((s__publishedPrice(V__ENT,V__PRICE,V__AGENT,V__PS)
       |
       s__unitPrice(V__ENT,V__QUANT,V__AGENT,V__PS))
   &
   s__subclass(V__ENT,s__Physical) &
   s__immediateInstance(V__ITEM,V__ENT)
&
s__validityPeriod(V__PS,V__TIMEINT))
=>
s__holdsDuring(V__TIMTEINT,'s__modalAttribute(((s__instance(V__S,V__SELLING) & s__agent(V__S,V__AGENT) & s__patient(V__S,V__ITEM)) => s__transactionAmount(V__S,V__PRICE)),s__Likely)'))
)

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))
)

ComputerInput.kif 142-147
( ! [V__PHYS] :
   (s__instance(V__PHYS,s__Physical) =>
     (? [V__LOC,V__TIME] :
       (s__located(V__PHYS,V__LOC)
       &
       s__time(V__PHYS,V__TIME))))
)

Merge.kif 864-869

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


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

Dining.kif 1020-1024
( ! [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 24259-24267
( ! [V__BIDDING,V__FORMULA,V__AMOUNT,V__BUYER] :
   ((s__instance(V__BIDDING,s__Bidding) &
       s__patient(V__BIDDING,V__FORMULA)
     &
     s__amountOfBid(V__BIDDING,V__AMOUNT))
=>
(? [V__ITEM] :
   (s__instance(V__ITEM,s__Physical) &
     (V__FORMULA = (? [V__BUYING] :
         (s__instance(V__BUYING,s__Buying) &
           s__agent(V__BUYING,V__BUYER)
         &
         s__patient(V__BUYING,V__ITEM)
       &
       s__transactionAmount(V__BUYING,V__AMOUNT)))))))
)

UXExperimentalTerms.kif 1589-1604
( ! [V__BIDDING,V__FORMULA,V__BUYER] :
   ((s__instance(V__BIDDING,s__Bidding) &
       s__patient(V__BIDDING,V__FORMULA))
   =>
   (? [V__ITEM,V__AMOUNT] :
     (s__instance(V__ITEM,s__Physical) &
       s__instance(V__AMOUNT,s__CurrencyMeasure) &
       (V__FORMULA = (? [V__BUYING] :
           (s__instance(V__BUYING,s__Buying) &
             s__agent(V__BUYING,V__BUYER)
           &
           s__patient(V__BUYING,V__ITEM)
         &
         s__transactionAmount(V__BUYING,V__AMOUNT)))))))
)

UXExperimentalTerms.kif 1555-1570
( ! [V__COLL,V__ITEM,V__BUYING] :
   ((s__instance(V__COLL,s__Collection) &
       (! [V__MEMBER] :
         (s__member(V__MEMBER,V__COLL)
         =>
         s__instance(V__MEMBER,s__FinancialTransaction))))
   =>
   (s__CardinalityFn(s__KappaFn(V__ITEM,'(s__instance(V__ITEM,s__Physical) & s__instance(V__BUYING,s__Buying) & s__member(V__BUYING,V__COLL) & s__patient(V__BUYING,V__ITEM))'))
= s__BoughtItemsFn(V__COLL)))
)

UXExperimentalTerms.kif 3094-3109
( ! [V__COLL,V__BIDDING,V__ITEM,V__LISTING] :
   ((s__instance(V__COLL,s__Collection) &
       (! [V__MEMBER] :
         (s__member(V__MEMBER,V__COLL)
         =>
         s__instance(V__MEMBER,s__WebListing))))
   =>
   (s__CardinalityFn(s__KappaFn(V__BIDDING,'(s__instance(V__ITEM,s__Physical) & s__instance(V__LISTING,s__WebListing) & s__instance(V__BIDDING,s__Bidding) & s__member(V__LISTING,V__COLL) & s__objectOfBid(V__BIDDING,V__ITEM) & s__patient(V__LISTING,V__ITEM))'))
= s__BidCountFn(V__COLL)))
)

UXExperimentalTerms.kif 3128-3145
( ! [V__COLL,V__LISTING,V__SITE,V__ITEM] :
   ((s__instance(V__COLL,s__Collection) &
       (! [V__MEMBER] :
         (s__member(V__MEMBER,V__COLL)
         =>
         s__instance(V__MEMBER,s__WebListing))))
   =>
   (divide(s__CardinalityFn(s__KappaFn(V__LISTING,'(s__instance(V__LISTING,s__WebListing) & s__instance(V__SITE,s__WebSite) & s__instance(V__ITEM,s__Physical) & s__member(V__LISTING,V__COLL) & s__patient(V__LISTING,V__ITEM) & s__hostedOn(V__LISTING,V__SITE) & (? [V__BUYING] : (s__instance(V__BUYING,s__Buying) & s__patient(V__BUYING,V__ITEM) & s__eCommerceSite(V__BUYING,V__SITE))))'))
  ,s__CardinalityFn(V__COLL))
= s__BidCountFn(V__COLL)))
)

UXExperimentalTerms.kif 3053-3077
( ! [V__AGENT,V__THING] :
   ((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(s__dislikes__m,s__ObjectAttitude) &
       s__dislikes(V__AGENT,V__THING))
   =>
   s__instance(V__THING,s__Physical))
)

( ! [V__AGENT,V__THING] :
   ((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(s__needs__m,s__ObjectAttitude) &
       s__needs(V__AGENT,V__THING))
   =>
   s__instance(V__THING,s__Physical))
)

Merge.kif 2878-2882
( ! [V__X] :
   (s__attribute(V__X,s__Historical) =>
     s__instance(V__X,s__Physical))
   )

Mid-level-ontology.kif 24251-24253
( ! [V__CHARGE] :
   (s__instance(V__CHARGE,s__FinalValueFee) =>
     (? [V__ADVERT,V__SELLING,V__OWNER,V__ITEM,V__SITE] :
       (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 308-323
( ! [V__RA] :
   (s__instance(V__RA,s__RepresentationalArtWork) =>
     (? [V__P] :
       (s__instance(V__P,s__Physical) &
         s__represents(V__RA,V__P))))
)

Merge.kif 15899-15904
( ! [V__S] :
   (s__instance(V__S,s__Searching) =>
     (? [V__AGENT,V__OBJ,V__LOC] :
       (s__instance(V__AGENT,s__CognitiveAgent) &
         s__agent(V__S,V__AGENT)
       &
       s__instance(V__OBJ,s__Physical) &
       s__patient(V__S,V__OBJ)
     &
     s__instance(V__LOC,s__Object) &
     s__located(V__OBJ,V__LOC)
   &
   s__hasPurposeForAgent(V__S,'s__knows(V__AGENT,s__located(V__OBJ,V__LOC))',V__AGENT))))
)

Merge.kif 12769-12781
( ! [V__VIEW] :
   (s__instance(V__VIEW,s__View) =>
     (? [V__ENTITY] :
       (s__instance(V__ENTITY,s__Physical) &
         s__represents(V__VIEW,V__ENTITY))))
)

Dining.kif 900-905
( ! [V__DATABASE,V__WEBSITE,V__PRODUCTS,V__BUYING] :
   (s__siteCatalog(V__DATABASE,V__WEBSITE)
   =>
   (? [V__PART] :
     (s__instance(V__PRODUCTS,s__Collection) &
       s__part(V__PART,V__DATABASE)
     &
     s__represents(V__PART,V__PRODUCTS)
   &
   (! [V__MEMBER] :
     (s__member(V__MEMBER,V__PRODUCTS)
     =>
     (s__instance(V__MEMBER,s__Physical) &
       s__capability(s__KappaFn(V__BUYING,'(s__instance(V__BUYING,s__Buying) & s__eCommerceSite(V__BUYING,V__WEBSITE))')
    ,s__patient__m,V__MEMBER)))))))
)

UXExperimentalTerms.kif 2449-2466


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