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, Entit�Concreta, Fisico, aversive_stimulus, bandwagon_effect, bhOtika_vaswu, butterfly_effect, common_nuisance, concrete, domino_effect, emanation, export, exportation, fyzick�_objekt, import, importation, knock-on_effect, material, materyal, natural_order, perturbation, phenomenon, physical, physical_entity, physique, placebo_effect, plague, position_effect, public_nuisance, pulsation, sa_lawas, space-time, space-time_continuum, spaciotemporal, spatiotemporal, 物理

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 861-862
No TPTP formula. May not be expressible in strict first order. Merge.kif 858-860
No TPTP formula. May not be expressible in strict first order. Merge.kif 857-857 Physical is exhaustively partitioned into object and process
No TPTP formula. May not be expressible in strict first order. Merge.kif 856-856 Physical is a subclass of entity

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 840-840 Entity is exhaustively partitioned into physical and abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 1324-1324 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 871-871 Object is a subclass of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 6220-6220 Physical system is a subclass of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 1650-1650 Process is a subclass of physical
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 814-814 "物理" is the printable form of physical in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 501-501 "physical" is the printable form of physical in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 490-490 "physique" is the printable form of physical in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 24-24 "bhOtika vaswu" is the printable form of physical in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 24-24 "Entit�Concreta" is the printable form of physical in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 442-442 "Fisico" is the printable form of physical in portuguese language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 226-226 "فِيْزيَائِي" is the printable form of physical in ar
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 27-27 "sa lawas" is the printable form of physical in cb
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 57-57 "fyzick� objekt" is the printable form of physical in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 27-27 "materyal" is the printable form of physical in tg

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8519-8519 The number 1 argument of when is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4329-4329 The number 1 argument of where is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 6209-6209 The number 2 argument of abstractCounterpart is an instance of physical
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21549-21549 The number 1 argument of anniversary is an instance of physical
No TPTP formula. May not be expressible in strict first order. emotion.kif 2012-2012 The number 3 argument of attitudeForObject is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 8437-8437 The number 1 argument of cooccur is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 8438-8438 The number 2 argument of cooccur is an instance of physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 3639-3639 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 3640-3640 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 3610-3610 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 3611-3611 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 3547-3547 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 3548-3548 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 8602-8602 The number 1 argument of date is an instance of physical
No TPTP formula. May not be expressible in strict first order. Government.kif 2502-2502 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 1364-1364 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 7837-7837 The number 1 argument of distance is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7838-7838 The number 2 argument of distance is an instance of physical
No TPTP formula. May not be expressible in strict first order. Law.kif 220-220 The number 2 argument of evidence is an instance of physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 5093-5093 The number 1 argument of flows is an instance of physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 5094-5094 The number 2 argument of flows is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4049-4049 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 4070-4070 The number 1 argument of has purpose for agent is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4172-4172 The number 1 argument of located is an instance of physical
No TPTP formula. May not be expressible in strict first order. Hotel.kif 614-614 The number 1 argument of managed by 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 27688-27697
No TPTP formula. May not be expressible in strict first order. Merge.kif 8128-8135
No TPTP formula. May not be expressible in strict first order. Catalog.kif 322-337
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1615-1624
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2285-2298
No TPTP formula. May not be expressible in strict first order. Merge.kif 12782-12795
No TPTP formula. May not be expressible in strict first order. Catalog.kif 262-276
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 339-355
No TPTP formula. May not be expressible in strict first order. Catalog.kif 357-372
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 142-147
No TPTP formula. May not be expressible in strict first order. Merge.kif 864-869

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1020-1024
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24259-24267
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3094-3109
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3128-3145
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3053-3077
No TPTP formula. May not be expressible in strict first order. Merge.kif 2878-2882
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24251-24253
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 308-323
No TPTP formula. May not be expressible in strict first order. Merge.kif 15898-15903
No TPTP formula. May not be expressible in strict first order. Merge.kif 12768-12780
No TPTP formula. May not be expressible in strict first order. Dining.kif 900-905
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2449-2466


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners