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 835-837
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 120-121
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 139-140
No TPTP formula. May not be expressible in strict first order. Merge.kif 833-833 Physical is exhaustively partitioned into object and process
No TPTP formula. May not be expressible in strict first order. Merge.kif 832-832 Physical is a subclass of entity

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 816-816 Entity is exhaustively partitioned into physical and abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 1304-1304 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 846-846 Object is a subclass of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 6122-6122 Physical system is a subclass of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 1622-1622 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
No TPTP formula. May not be expressible in strict first order. french_format.kif 490-490
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 24-24
No TPTP formula. May not be expressible in strict first order. terms-it.txt 26-26
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2175-2175
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 442-442
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 27-27
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 57-57
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 511-511
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 27-27

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8504-8504 The number 1 argument of when is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4223-4223 The number 1 argument of where is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 6113-6113 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 7738-7738 The number 1 argument of altitude is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7739-7739 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 24238-24238 The number 1 argument of anniversary is an instance of physical
No TPTP formula. May not be expressible in strict first order. emotion.kif 2118-2118 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 8425-8425 The number 1 argument of cooccur is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 8426-8426 The number 2 argument of cooccur is an instance of physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 3817-3817 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 3818-3818 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 3785-3785 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 3786-3786 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 3722-3722 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 3723-3723 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 8580-8580 The number 1 argument of date is an instance of physical
No TPTP formula. May not be expressible in strict first order. Government.kif 2519-2519 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 971-971 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 7716-7716 The number 1 argument of distance is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7717-7717 The number 2 argument of distance is an instance of physical
No TPTP formula. May not be expressible in strict first order. Law.kif 178-178 The number 2 argument of evidence is an instance of physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 5428-5428 The number 1 argument of flows is an instance of physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 5429-5429 The number 2 argument of flows is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 3946-3946 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 3962-3962 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 29987-29996
No TPTP formula. May not be expressible in strict first order. Merge.kif 7996-8003
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 1416-1425
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2078-2091
No TPTP formula. May not be expressible in strict first order. Merge.kif 8285-8292
No TPTP formula. May not be expressible in strict first order. Merge.kif 13030-13043
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. Merge.kif 7625-7630
No TPTP formula. May not be expressible in strict first order. Merge.kif 839-844

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 26627-26635
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2887-2903
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2845-2870
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2922-2940
No TPTP formula. May not be expressible in strict first order. Merge.kif 2715-2719
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26619-26621
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 240-255
No TPTP formula. May not be expressible in strict first order. Merge.kif 15918-15923
No TPTP formula. May not be expressible in strict first order. Merge.kif 13016-13028
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 2242-2259


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