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

Formal Language: 



KB Term:  Term intersection
English Word: 

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