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 8535-8535
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8534-8534
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8533-8533
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. Communications.kif 349-356


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