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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 781-781 Entity is exhaustively partitioned into physical and abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 1231-1231 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 811-811 Object is a subclass of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 5864-5864 Physical system is a subclass of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 1536-1536 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 8142-8142 The number 1 argument of when is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4090-4090 The number 1 argument of where is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 5855-5855 The number 2 argument of abstractCounterpart is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7467-7467 The number 1 argument of altitude is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7468-7468 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 23565-23565 The number 1 argument of anniversary is an instance of physical
No TPTP formula. May not be expressible in strict first order. emotion.kif 2128-2128 The number 3 argument of attitudeForObject is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 8067-8067 The number 1 argument of cooccur is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 8068-8068 The number 2 argument of cooccur is an instance of physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 3719-3719 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 3720-3720 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 3690-3690 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 3691-3691 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 3627-3627 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 3628-3628 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 8219-8219 The number 1 argument of date is an instance of physical
No TPTP formula. May not be expressible in strict first order. Government.kif 2541-2541 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 917-917 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 7445-7445 The number 1 argument of distance is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7446-7446 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 5237-5237 The number 1 argument of flows is an instance of physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 5238-5238 The number 2 argument of flows is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 3822-3822 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 3838-3838 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 29319-29328
No TPTP formula. May not be expressible in strict first order. Merge.kif 7719-7726
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 12414-12427
No TPTP formula. May not be expressible in strict first order. Catalog.kif 304-319
No TPTP formula. May not be expressible in strict first order. Catalog.kif 271-285
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 24919-24924
No TPTP formula. May not be expressible in strict first order. Merge.kif 804-809

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 25929-25937
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 2627-2631
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25921-25923
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 15255-15260
No TPTP formula. May not be expressible in strict first order. Merge.kif 12400-12412
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