CommunicationSatellite - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - CommunicationSatellite

CommunicationSatellite(communication satellite)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Communications.kif 122-124
No TPTP formula. May not be expressible in strict first order.	Communications.kif 119-119	Communication satellite is a subclass of artificial satellite
No TPTP formula. May not be expressible in strict first order.	Communications.kif 120-120	Communication satellite is a subclass of communication device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Communications.kif 153-153	Eutelsat is a subclass of communication satellite
No TPTP formula. May not be expressible in strict first order.	Communications.kif 157-157	Inmarsat is a subclass of communication satellite
No TPTP formula. May not be expressible in strict first order.	Communications.kif 161-161	Intelsat is a subclass of communication satellite
No TPTP formula. May not be expressible in strict first order.	Communications.kif 165-165	Intersputnik is a subclass of communication satellite
No TPTP formula. May not be expressible in strict first order.	Communications.kif 169-169	Orbita is a subclass of communication satellite
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16038-16038
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16037-16037
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16036-16036
No TPTP formula. May not be expressible in strict first order.	Communications.kif 121-121

antecedent

No TPTP formula. May not be expressible in strict first order.

Communications.kif 125-130

If an engineering component is an instance of communication satellite,
then there exists another engineering component such that the other engineering component is an instance of communication system and the engineering component is a component of the other engineering component

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