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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 809-809 Entity is exhaustively partitioned into physical and abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 1271-1271 Collection is a subclass of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 1314-1314 Content bearing physical is a subclass of physical
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 43-43 Financial asset is a subclass of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 839-839 Object is a subclass of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 6146-6146 Physical system is a subclass of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 1632-1632 Process is a subclass of physical
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 814-814 Process is a subclass of physical
No TPTP formula. May not be expressible in strict first order. english_format.kif 830-830 Process is a subclass of physical
No TPTP formula. May not be expressible in strict first order. french_format.kif 490-490 Process is a subclass of physical
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 24-24 Process is a subclass of physical
No TPTP formula. May not be expressible in strict first order. terms-it.txt 26-26 Process is a subclass of physical
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2175-2175 Process is a subclass of physical
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 442-442 Process is a subclass of physical
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 27-27 Process is a subclass of physical
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 57-57 Process is a subclass of physical
No TPTP formula. May not be expressible in strict first order. terms-de.txt 316-316 Process is a subclass of physical
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 511-511 Process is a subclass of physical
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 27-27 Process is a subclass of physical

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8581-8581 The number 1 argument of when is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4250-4250 The number 1 argument of where is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 6137-6137 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 7563-7563 The number 1 argument of age is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7784-7784 The number 1 argument of altitude is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7785-7785 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 25827-25827 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 8502-8502 The number 1 argument of cooccur is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 8503-8503 The number 2 argument of cooccur is an instance of physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 4068-4068 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 4069-4069 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 4036-4036 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 4037-4037 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 3880-3880 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 3881-3881 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 8657-8657 The number 1 argument of date is an instance of physical
No TPTP formula. May not be expressible in strict first order. Government.kif 2516-2516 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 7808-7808 The number 1 argument of depth is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7809-7809 The number 2 argument of depth is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7762-7762 The number 1 argument of distance is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7763-7763 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. Merge.kif 4156-4156 The number 1 argument of exactly located 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 31855-31864
No TPTP formula. May not be expressible in strict first order. Merge.kif 8045-8052
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 8362-8369
No TPTP formula. May not be expressible in strict first order. Merge.kif 13138-13151
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 7675-7680
No TPTP formula. May not be expressible in strict first order. Merge.kif 832-837
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33782-33790
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33798-33806

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 28493-28501
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 2726-2730
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21401-21409
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28485-28487
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 16022-16027
No TPTP formula. May not be expressible in strict first order. Merge.kif 13124-13136
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