Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  component

Sigma KEE - component
component

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1578-1580
No TPTP formula. May not be expressible in strict first order. Merge.kif 964-969
No TPTP formula. May not be expressible in strict first order. Merge.kif 961-961 The number 1 argument of component is an instance of corpuscular object
No TPTP formula. May not be expressible in strict first order. Merge.kif 962-962 The number 2 argument of component is an instance of corpuscular object
No TPTP formula. May not be expressible in strict first order. Merge.kif 960-960 component is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 959-959 component is a subrelation of part

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 75-75
No TPTP formula. May not be expressible in strict first order. english_format.kif 75-75
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1701-1701 power component is a subrelation of component
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 76-76
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16190-16190
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16189-16189
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16188-16188

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 5753-5757
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 641-646
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 251-258
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 224-237
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2830-2844
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3927-3945
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. UXExperimentalTerms.kif 2271-2282
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1776-1787
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 204-213
No TPTP formula. May not be expressible in strict first order. Geography.kif 1848-1854
No TPTP formula. May not be expressible in strict first order. Geography.kif 1840-1846
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 326-334
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3539-3562
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4014-4021

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 63-68 A corpuscular object is an instance of computer hardware if and only if there exists another corpuscular object such that the other corpuscular object is an instance of computer and the corpuscular object is a component of the other corpuscular object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10810-10816 A corpuscular object is an instance of vertebrate if and only if there exists another corpuscular object such that the corpuscular object is an instance of animal and the other corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of spinal column
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2697-2704
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 224-237
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3927-3945
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2271-2282
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 204-213
No TPTP formula. May not be expressible in strict first order. Geography.kif 3949-3957
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3503-3512
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4074-4080
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 921-932
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11056-11061
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2181-2183
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 157-163
No TPTP formula. May not be expressible in strict first order. Merge.kif 1084-1091
No TPTP formula. May not be expressible in strict first order. Merge.kif 1093-1102
No TPTP formula. May not be expressible in strict first order. Merge.kif 14321-14332
No TPTP formula. May not be expressible in strict first order. Media.kif 1075-1083
No TPTP formula. May not be expressible in strict first order. Media.kif 1039-1044
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2438-2443
No TPTP formula. May not be expressible in strict first order. Merge.kif 15919-15924
No TPTP formula. May not be expressible in strict first order. Economy.kif 4957-4962
No TPTP formula. May not be expressible in strict first order. Economy.kif 4950-4955
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 675-680
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11553-11561

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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