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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Physical

Sigma KEE - Physical
Physicalفِيْزيَائِي, Coriolis_effect, Entit�Concreta, Fisico, aversive_stimulus, bandwagon_effect, bhOtika_vaswu, butterfly_effect, common_nuisance, concrete, domino_effect, emanation, export, exportation, fyzick�_objekt, import, importation, knock-on_effect, material, materyal, natural_order, perturbation, phenomenon, physical, physical_entity, physique, placebo_effect, plague, position_effect, public_nuisance, pulsation, sa_lawas, space-time, space-time_continuum, spaciotemporal, spatiotemporal, 物理

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


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

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

Merge.kif 859-859
s__instance(s__Entity,s__SetOrClass)

Merge.kif 858-858

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


s__partition_3(s__Entity,s__Physical,s__Abstract)

Merge.kif 842-842
s__subclass(s__ContentBearingPhysical,s__Physical)

Merge.kif 1329-1329
s__subclass(s__FinancialAsset,s__Physical)

FinancialOntology.kif 41-41
s__instance(s__Object,s__SetOrClass)

Merge.kif 873-873
s__subclass(s__PhysicalSystem,s__Physical)

Merge.kif 6241-6241
s__subclass(s__Process,s__Physical)

Merge.kif 1656-1656
s__termFormat(s__ChineseLanguage,s__Physical,'物理')

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

english_format.kif 501-501
s__termFormat(s__FrenchLanguage,s__Physical,'physique')

french_format.kif 490-490
s__termFormat(s__Hindi,s__Physical,'bhOtika vaswu')

terms-hindi.txt 24-24
s__termFormat(s__ItalianLanguage,s__Physical,'Entit�Concreta')

terms-it.txt 24-24
s__termFormat(s__PortugueseLanguage,s__Physical,'Fisico')

portuguese_format.kif 442-442
s__termFormat(s__ar__m,s__Physical,'فِيْزيَائِي')

arabic_format.kif 226-226
s__termFormat(s__cb__m,s__Physical,'sa lawas')

terms-cb.txt 27-27
s__termFormat(s__cz__m,s__Physical,'fyzick� objekt')

terms-cz.txt 57-57
s__termFormat(s__tg__m,s__Physical,'materyal')

terms-tg.txt 27-27

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


s__domain(s__WhenFn__m,1,s__Physical)

Merge.kif 8554-8554
s__domain(s__WhereFn__m,1,s__Physical)

Merge.kif 4347-4347
s__domain(s__abstractCounterpart__m,2,s__Physical)

Merge.kif 6230-6230
s__domain(s__anniversary__m,1,s__Physical)

Mid-level-ontology.kif 21910-21910
s__domain(s__attitudeForObject__m,3,s__Physical)

emotion.kif 2012-2012
s__domain(s__cooccur__m,1,s__Physical)

Merge.kif 8472-8472
s__domain(s__cooccur__m,2,s__Physical)

Merge.kif 8473-8473
s__domain(s__courseWRTCompassNorth__m,1,s__Physical)

Geography.kif 3639-3639
s__domain(s__courseWRTCompassNorth__m,2,s__Physical)

Geography.kif 3640-3640
s__domain(s__courseWRTMagneticNorth__m,1,s__Physical)

Geography.kif 3610-3610
s__domain(s__courseWRTMagneticNorth__m,2,s__Physical)

Geography.kif 3611-3611
s__domain(s__courseWRTTrueNorth__m,1,s__Physical)

Geography.kif 3547-3547
s__domain(s__courseWRTTrueNorth__m,2,s__Physical)

Geography.kif 3548-3548
s__domain(s__date__m,1,s__Physical)

Merge.kif 8637-8637
s__domain(s__dateDissolved__m,1,s__Physical)

Government.kif 2502-2502
s__domain(s__dateEstablished__m,1,s__Physical)

Mid-level-ontology.kif 1364-1364
s__domain(s__distance__m,1,s__Physical)

Merge.kif 7866-7866
s__domain(s__distance__m,2,s__Physical)

Merge.kif 7867-7867
s__domain(s__evidence__m,2,s__Physical)

Law.kif 220-220
s__domain(s__flows__m,1,s__Physical)

Geography.kif 5093-5093
s__domain(s__flows__m,2,s__Physical)

Geography.kif 5094-5094
s__domain(s__hasPurpose__m,1,s__Physical)

Merge.kif 4063-4063
s__domain(s__hasPurposeForAgent__m,1,s__Physical)

Merge.kif 4084-4084
s__domain(s__located__m,1,s__Physical)

Merge.kif 4186-4186
s__domain(s__managedBy__m,1,s__Physical)

Hotel.kif 614-614

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 28049-28058
No TPTP formula. May not be expressible in strict first order. Merge.kif 8160-8167
No TPTP formula. May not be expressible in strict first order. 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 1614-1623
( ∀ [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 2284-2297
No TPTP formula. May not be expressible in strict first order. Merge.kif 12861-12874
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))
)

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 866-871

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 24620-24628
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3093-3108
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3127-3144
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3052-3076
( ∀ [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 2888-2892
( ∀ [V__X]
   (s__attribute(V__X,s__Historical) ⇒
     s__instance(V__X,s__Physical))
   )

Mid-level-ontology.kif 24612-24614
( ∀ [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 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 15977-15982
No TPTP formula. May not be expressible in strict first order. Merge.kif 12847-12859
( ∀ [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
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2448-2465


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners