TreeView Knowledge Base Browser - ArtificialSatellite

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ArtificialSatellite

Sigma KEE - ArtificialSatellite

ArtificialSatellite(artificial satellite)

artificial_satellite, orbiter, satellite

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Communications.kif 115-117
No TPTP formula. May not be expressible in strict first order.	Communications.kif 113-113	Artificial satellite is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order.	Communications.kif 112-112	Artificial satellite is a subclass of satellite

appearance as argument number 2

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.	domainEnglishFormat.kif 8526-8526
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8525-8525
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8524-8524
No TPTP formula. May not be expressible in strict first order.	Communications.kif 114-114

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25076-25084	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
No TPTP formula. May not be expressible in strict first order.	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 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