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 Le nombre 1 argument de component est une instance de objet corpusculaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 968-968 Le nombre 2 argument de component est une instance de objet corpusculaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 966-966 component est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 965-965 component est une sous-relation de 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 1729-1729 powerComponent est une sous-relation de 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 4047-4054

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 63-68 Objet corpusculaire est une instance de ComputerHardware objet corpusculaire objet corpusculaire est une instance de Computer objet corpusculaire est un composant de objet corpusculaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10971-10977 Objet corpusculaire est une instance de vertebr� objet corpusculaire objet corpusculaire est une instance de animal objet corpusculaire est un composant de objet corpusculaire objet corpusculaire est une instance de SpinalColumn
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 3531-3540
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4107-4113
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11218-11223
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 14505-14516
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 2466-2471
No TPTP formula. May not be expressible in strict first order. Merge.kif 16138-16143
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 11734-11742
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