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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Physical

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 824-826
No TPTP formula. May not be expressible in strict first order. Merge.kif 822-822 Physical is exhaustively partitioned into object and process
No TPTP formula. May not be expressible in strict first order. Merge.kif 821-821 Physical is a subclass of entity

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 805-805 Entity is exhaustively partitioned into physical and abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 1263-1263 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 835-835 Object is a subclass of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 6031-6031 Physical system is a subclass of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 1568-1568 Process is a subclass of physical
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 814-814
No TPTP formula. May not be expressible in strict first order. english_format.kif 830-830

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8376-8376 The number 1 argument of when is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4138-4138 The number 1 argument of where is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 6022-6022 The number 2 argument of abstractCounterpart is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7612-7612 The number 1 argument of altitude is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7613-7613 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 23617-23617 The number 1 argument of anniversary is an instance of physical
No TPTP formula. May not be expressible in strict first order. emotion.kif 2120-2120 The number 3 argument of attitudeForObject is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 8297-8297 The number 1 argument of cooccur is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 8298-8298 The number 2 argument of cooccur is an instance of physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 3739-3739 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 3740-3740 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 3707-3707 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 3708-3708 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 3644-3644 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 3645-3645 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 8452-8452 The number 1 argument of date is an instance of physical
No TPTP formula. May not be expressible in strict first order. Government.kif 2552-2552 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 939-939 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 7590-7590 The number 1 argument of distance is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7591-7591 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 5326-5326 The number 1 argument of flows is an instance of physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 5327-5327 The number 2 argument of flows is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 3870-3870 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 3886-3886 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 29371-29380
No TPTP formula. May not be expressible in strict first order. Merge.kif 7870-7877
No TPTP formula. May not be expressible in strict first order. Catalog.kif 332-347
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1614-1623
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2287-2300
No TPTP formula. May not be expressible in strict first order. Merge.kif 12748-12761
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 349-365
No TPTP formula. May not be expressible in strict first order. Catalog.kif 367-382
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24971-24976
No TPTP formula. May not be expressible in strict first order. Merge.kif 828-833

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1019-1023
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25981-25989
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3096-3111
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3130-3147
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3055-3079
No TPTP formula. May not be expressible in strict first order. Merge.kif 2661-2665
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25973-25975
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 307-322
No TPTP formula. May not be expressible in strict first order. Merge.kif 15603-15608
No TPTP formula. May not be expressible in strict first order. Merge.kif 12734-12746
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 2451-2468


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 3.0 is open source software produced by Articulate Software and its partners