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 921-926
No TPTP formula. May not be expressible in strict first order. Merge.kif 918-918 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 919-919 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 917-917 component is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 916-916 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 2147-2147 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 16132-16132
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16131-16131
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16130-16130

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5536-5540
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 669-674
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 273-280
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 246-259
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3925-3943
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 226-235
No TPTP formula. May not be expressible in strict first order. Geography.kif 1796-1802
No TPTP formula. May not be expressible in strict first order. Geography.kif 1788-1794
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 324-332
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3538-3561
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4537-4544

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 9374-9380 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 2698-2705
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 246-259
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3925-3943
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 226-235
No TPTP formula. May not be expressible in strict first order. Geography.kif 3808-3816
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4078-4087
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4589-4595
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 919-930
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9566-9571
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 1035-1042
No TPTP formula. May not be expressible in strict first order. Merge.kif 1044-1053
No TPTP formula. May not be expressible in strict first order. Merge.kif 13444-13455
No TPTP formula. May not be expressible in strict first order. Media.kif 1079-1087
No TPTP formula. May not be expressible in strict first order. Media.kif 1043-1048
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2935-2940
No TPTP formula. May not be expressible in strict first order. Merge.kif 14932-14937
No TPTP formula. May not be expressible in strict first order. Economy.kif 4795-4800
No TPTP formula. May not be expressible in strict first order. Economy.kif 4788-4793
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 703-708
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9924-9932

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