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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 970-975
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 153-156
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 178-183
No TPTP formula. May not be expressible in strict first order. Merge.kif 967-967 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 968-968 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 966-966 component is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 965-965 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. french_format.kif 62-62
No TPTP formula. May not be expressible in strict first order. relations-it.txt 48-48
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1886-1886
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 14-14
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 67-67
No TPTP formula. May not be expressible in strict first order. relations-de.txt 83-83
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 90-90
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 81-81
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 61-61
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 82-82
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1736-1736 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 16200-16200
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16199-16199
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16198-16198
No TPTP formula. May not be expressible in strict first order. terms-de.txt 22-22
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 113-113

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5845-5849
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 3721-3739
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. UXExperimentalTerms.kif 2065-2076
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1570-1581
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 1843-1849
No TPTP formula. May not be expressible in strict first order. Geography.kif 1835-1841
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 3333-3356
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4054-4061

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 10944-10950 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 2491-2498
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 3721-3739
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2065-2076
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 4016-4024
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3538-3547
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4114-4120
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11191-11196
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1975-1977
No TPTP formula. May not be expressible in strict first order. Merge.kif 14459-14470
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 2473-2478
No TPTP formula. May not be expressible in strict first order. Merge.kif 16066-16071
No TPTP formula. May not be expressible in strict first order. Economy.kif 5910-5915
No TPTP formula. May not be expressible in strict first order. Economy.kif 5903-5908
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 11707-11715
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 262-267
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1989-1994
No TPTP formula. May not be expressible in strict first order. Merge.kif 1149-1156
No TPTP formula. May not be expressible in strict first order. Media.kif 1309-1314

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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