TreeView Knowledge Base Browser - AirPhotographicReconnaissance

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

AirPhotographicReconnaissance

Sigma KEE - AirPhotographicReconnaissance

AirPhotographicReconnaissance(air photographic reconnaissance)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 744-749
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2076-2076
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2078-2078
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 743-743	Air photographic reconnaissance is a subclass of air reconnaissance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6162-6162
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6161-6161
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6160-6160

antecedent

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

MilitaryProcesses.kif 753-763

If a process is an instance of air photographic reconnaissance and an agent is an agent of the process and an entity is a patient of the process,
then there exists another process such that the other process is an instance of photographing and the other process is a subprocess of the process and the agent is an agent of the other process and the entity is a patient of the other process

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