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 945-950
No TPTP formula. May not be expressible in strict first order. Merge.kif 942-942 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 943-943 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 941-941 component is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 940-940 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 1689-1689 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 16191-16191
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

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5742-5746
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 2826-2840
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3928-3946
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2287-2300
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2274-2285
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1777-1788
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 1846-1852
No TPTP formula. May not be expressible in strict first order. Geography.kif 1838-1844
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 3541-3564
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3952-3959

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 10447-10453 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 2701-2708
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 3928-3946
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2274-2285
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 3938-3946
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3490-3499
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4005-4011
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 10693-10698
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2184-2186
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 1065-1072
No TPTP formula. May not be expressible in strict first order. Merge.kif 1074-1083
No TPTP formula. May not be expressible in strict first order. Merge.kif 14191-14202
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 2428-2433
No TPTP formula. May not be expressible in strict first order. Merge.kif 15784-15789
No TPTP formula. May not be expressible in strict first order. Economy.kif 4953-4958
No TPTP formula. May not be expressible in strict first order. Economy.kif 4946-4951
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 11188-11196

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