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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 782-782 Entity is exhaustively partitioned into physical and abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 1202-1202 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 812-812 Object is a subclass of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 5817-5817 Physical system is a subclass of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 1531-1531 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 835-835

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7941-7941 The number 1 argument of when is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4075-4075 The number 1 argument of where is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 5808-5808 The number 2 argument of abstractCounterpart is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7315-7315 The number 1 argument of altitude is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7316-7316 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 21985-21985 The number 1 argument of anniversary is an instance of physical
No TPTP formula. May not be expressible in strict first order. emotion.kif 2018-2018 The number 3 argument of attitudeForObject is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7866-7866 The number 1 argument of cooccur is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7867-7867 The number 2 argument of cooccur is an instance of physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 3652-3652 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 3653-3653 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 3623-3623 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 3624-3624 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 3560-3560 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 3561-3561 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 8018-8018 The number 1 argument of date is an instance of physical
No TPTP formula. May not be expressible in strict first order. Government.kif 2496-2496 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 1365-1365 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 7293-7293 The number 1 argument of distance is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7294-7294 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 5121-5121 The number 1 argument of flows is an instance of physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 5122-5122 The number 2 argument of flows is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 3807-3807 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 3823-3823 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 28167-28176
No TPTP formula. May not be expressible in strict first order. Merge.kif 7565-7572
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 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 12058-12071
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. Mid-level-ontology.kif 23540-23545
No TPTP formula. May not be expressible in strict first order. Merge.kif 805-810

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1016-1020
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24744-24752
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3093-3108
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3127-3144
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3052-3076
No TPTP formula. May not be expressible in strict first order. Merge.kif 2621-2625
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24736-24738
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 14738-14743
No TPTP formula. May not be expressible in strict first order. Merge.kif 12044-12056
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 2448-2465


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