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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 810-810 Entity is exhaustively partitioned into physical and abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 1276-1276 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 840-840 Object is a subclass of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 6060-6060 Physical system is a subclass of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 1581-1581 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 8405-8405 The number 1 argument of when is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4163-4163 The number 1 argument of where is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 6051-6051 The number 2 argument of abstract counterpart is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7641-7641 The number 1 argument of altitude is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7642-7642 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 24122-24122 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 attitude for object is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 8326-8326 The number 1 argument of cooccur is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 8327-8327 The number 2 argument of cooccur is an instance of physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 3750-3750 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 3751-3751 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 3718-3718 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 3719-3719 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 3655-3655 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 3656-3656 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 8481-8481 The number 1 argument of date is an instance of physical
No TPTP formula. May not be expressible in strict first order. Government.kif 2555-2555 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 945-945 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 7619-7619 The number 1 argument of distance is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7620-7620 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 5337-5337 The number 1 argument of flows is an instance of physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 5338-5338 The number 2 argument of flows is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 3895-3895 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 3911-3911 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 29878-29887
No TPTP formula. May not be expressible in strict first order. Merge.kif 7899-7906
No TPTP formula. May not be expressible in strict first order. Catalog.kif 337-352
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1613-1622
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2284-2297
No TPTP formula. May not be expressible in strict first order. Merge.kif 12846-12859
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 354-370
No TPTP formula. May not be expressible in strict first order. Catalog.kif 372-387
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25488-25493
No TPTP formula. May not be expressible in strict first order. Merge.kif 833-838

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1066-1070
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26502-26510
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3093-3109
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3051-3076
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3128-3146
No TPTP formula. May not be expressible in strict first order. Merge.kif 2674-2678
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26494-26496
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 15725-15730
No TPTP formula. May not be expressible in strict first order. Merge.kif 12832-12844
No TPTP formula. May not be expressible in strict first order. Dining.kif 943-948
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 3.0 is open source software produced by Articulate Software and its partners