ArtificialSatellite - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ArtificialSatellite

ArtificialSatellite(artificial satellite)

artificial_satellite, orbiter, satellite

appearance as argument number 1

(documentation ArtificialSatellite EnglishLanguage "An ArtificialSatellite is a Device that orbits the earth in space and performs various functions such as aiding in communication, photographing the earth's surface, and others.")	Communications.kif 115-117
(subclass ArtificialSatellite EngineeringComponent)	Communications.kif 113-113	Artificial satellite is a subclass of engineering component
(subclass ArtificialSatellite Satellite)	Communications.kif 112-112	Artificial satellite is a subclass of satellite

appearance as argument number 2

(subclass CommunicationSatellite ArtificialSatellite)	Communications.kif 119-119	Communication satellite is a subclass of artificial satellite
(termFormat ChineseLanguage ArtificialSatellite "人造卫星")	domainEnglishFormat.kif 8534-8534	Communication satellite is a subclass of artificial satellite
(termFormat ChineseTraditionalLanguage ArtificialSatellite "人造衛星")	domainEnglishFormat.kif 8533-8533	Communication satellite is a subclass of artificial satellite
(termFormat EnglishLanguage ArtificialSatellite "artificial satellite")	domainEnglishFormat.kif 8532-8532	Communication satellite is a subclass of artificial satellite
(termFormat EnglishLanguage ArtificialSatellite "satellite")	Communications.kif 114-114	Communication satellite is a subclass of artificial satellite

consequent

(=> (instance ?SP SatellitePhone) (hasPurpose ?SP (exists (?RE ?S) (and (instance ?S ArtificialSatellite) (instance ?RE RadioEmission) (origin ?RE ?SP) (destination ?RE ?SP)))))	Mid-level-ontology.kif 25364-25372	If a physical is an instance of satellite phone, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of artificial satellite and the entity is an instance of radio emission and the entity originates at the physical and the entity ends up at the physical
(=> (instance ?TV SatelliteTelevisionSystem) (exists (?SAT ?RECEIVE) (and (instance ?SAT ArtificialSatellite) (member ?SAT ?TV) (instance ?RECEIVE TelevisionReceiver) (member ?RECEIVE ?TV))))	Communications.kif 349-356	If a collection is an instance of satellite tv, then there exist a physical and another physical such that the physical is an instance of artificial satellite and the physical is a member of the collection and the other physical is an instance of television receiver and the other physical is a member of the collection

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