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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - engineeringSubcomponent
engineeringSubcomponent

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3640-3642
No TPTP formula. May not be expressible in strict first order. Merge.kif 15805-15808
No TPTP formula. May not be expressible in strict first order. Merge.kif 15803-15803 The number 1 argument of engineering subcomponent is an instance of engineering component
No TPTP formula. May not be expressible in strict first order. Merge.kif 15804-15804 The number 2 argument of engineering subcomponent is an instance of engineering component
No TPTP formula. May not be expressible in strict first order. Merge.kif 15802-15802 engineering subcomponent is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 15801-15801 engineering subcomponent is a subrelation of proper part

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 539-539
No TPTP formula. May not be expressible in strict first order. english_format.kif 544-544
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 540-540
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22106-22106
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22105-22105

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1325-1336

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1343-1349
No TPTP formula. May not be expressible in strict first order. Communications.kif 142-151
No TPTP formula. May not be expressible in strict first order. Merge.kif 15826-15832
No TPTP formula. May not be expressible in strict first order. Communications.kif 447-449
No TPTP formula. May not be expressible in strict first order. Communications.kif 125-130
No TPTP formula. May not be expressible in strict first order. Communications.kif 337-342
No TPTP formula. May not be expressible in strict first order. Communications.kif 310-315
No TPTP formula. May not be expressible in strict first order. Communications.kif 52-57
No TPTP formula. May not be expressible in strict first order. Communications.kif 40-45
No TPTP formula. May not be expressible in strict first order. Communications.kif 387-392
No TPTP formula. May not be expressible in strict first order. Communications.kif 326-331
No TPTP formula. May not be expressible in strict first order. Communications.kif 258-284

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Communications.kif 294-294 AM radio station is a component of radio system
No TPTP formula. May not be expressible in strict first order. Communications.kif 220-220 Broadcasting station is a component of communication system
No TPTP formula. May not be expressible in strict first order. Communications.kif 299-299 FM radio station is a component of radio system
No TPTP formula. May not be expressible in strict first order. Communications.kif 443-443 Internet service provider is a component of internet
No TPTP formula. May not be expressible in strict first order. Communications.kif 289-289 Radio station is a component of radio system
No TPTP formula. May not be expressible in strict first order. Communications.kif 304-304 Shortwave radio station is a component of radio system
No TPTP formula. May not be expressible in strict first order. Communications.kif 323-323 Television station is a component of television system


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