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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1550-1551
No TPTP formula. May not be expressible in strict first order. Merge.kif 801-803
No TPTP formula. May not be expressible in strict first order. Merge.kif 799-799 Physical is exhaustively partitioned into object and process
No TPTP formula. May not be expressible in strict first order. Merge.kif 798-798 Physical is a subclass of entity

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 782-782 Entity is exhaustively partitioned into physical and abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 1203-1203 Content bearing physical is a subclass of physical
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 41-41 Financial asset is a subclass of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 812-812 Object is a subclass of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 5686-5686 Physical system is a subclass of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 1529-1529 Process is a subclass of physical
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 814-814 "物理" is the printable form of physical in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 835-835 "physical" is the printable form of physical in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7803-7803 The number 1 argument of when is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 3949-3949 The number 1 argument of where is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 5677-5677 The number 2 argument of abstractCounterpart is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7179-7179 The number 1 argument of altitude is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7180-7180 The number 2 argument of altitude is an instance of physical
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21942-21942 The number 1 argument of anniversary is an instance of physical
No TPTP formula. May not be expressible in strict first order. emotion.kif 2017-2017 The number 3 argument of attitudeForObject is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7728-7728 The number 1 argument of cooccur is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7729-7729 The number 2 argument of cooccur is an instance of physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 3652-3652 The number 1 argument of courseWRT compass north is an instance of physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 3653-3653 The number 2 argument of courseWRT compass north is an instance of physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 3623-3623 The number 1 argument of courseWRT magnetic north is an instance of physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 3624-3624 The number 2 argument of courseWRT magnetic north is an instance of physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 3560-3560 The number 1 argument of courseWRT true north is an instance of physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 3561-3561 The number 2 argument of courseWRT true north is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7880-7880 The number 1 argument of date is an instance of physical
No TPTP formula. May not be expressible in strict first order. Government.kif 2496-2496 The number 1 argument of date dissolved is an instance of physical
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1359-1359 The number 1 argument of date established is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7158-7158 The number 1 argument of distance is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7159-7159 The number 2 argument of distance is an instance of physical
No TPTP formula. May not be expressible in strict first order. Law.kif 221-221 The number 2 argument of evidence is an instance of physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 5106-5106 The number 1 argument of flows is an instance of physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 5107-5107 The number 2 argument of flows is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 3681-3681 The number 1 argument of has purpose is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 3697-3697 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
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28122-28131
No TPTP formula. May not be expressible in strict first order. Merge.kif 7428-7435
No TPTP formula. May not be expressible in strict first order. Catalog.kif 322-337
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1611-1620
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2282-2295
No TPTP formula. May not be expressible in strict first order. Merge.kif 11920-11933
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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23497-23502
No TPTP formula. May not be expressible in strict first order. Merge.kif 805-810

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1016-1020
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24701-24709
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
No TPTP formula. May not be expressible in strict first order. Merge.kif 2616-2620
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24693-24695
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 305-320
No TPTP formula. May not be expressible in strict first order. Merge.kif 14600-14605
No TPTP formula. May not be expressible in strict first order. Merge.kif 11906-11918
No TPTP formula. May not be expressible in strict first order. 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