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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Pilot

Sigma KEE - Pilot
Pilot(pilot)aeronaut, airman, airplane_pilot, aviator, barnstormer, captain, co-pilot, combat_pilot, copilot, dogfighter, fighter_pilot, flier, flyer, kamikaze, pilot, pilotage, piloting, senior_pilot, strafer, stunt_flier, stunt_pilot, test_pilot, wingman

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


No TPTP formula. May not be expressible in strict first order. Biography.kif 632-632
No TPTP formula. May not be expressible in strict first order. Biography.kif 631-631 Pilot is an instance of skilled occupation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45864-45864
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45863-45863
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45862-45862

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


No TPTP formula. May not be expressible in strict first order. Biography.kif 634-638


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