Investigating - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Investigating

Investigating(investigating)

COMINT, ELINT, ELISA, ESR, GI_series, Human_Genome_Project, MOT, MOT_test, Ministry_of_Transportation_test, PKU_test, PM, Queckenstedt's_test, Rorschach, Rorschach_test, Rubin_test, SIGINT, TAT, TELINT, Thematic_Apperception_Test, acquire, administrative_hearing, airborne_patrol, allow, alpha_test, analyse, analysis, analyze, anatomize, anatomy, angle, ascertain, assay, assure, audit, audited_account, audition, authentication, autopsy, backtrack, basal_body_temperature_method, basal_body_temperature_method_of_family_planning, beat_about, bed_check, beta_test, big_science, biological_research, black_operation, breathalyse, breathalyze, browse...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3230-3231
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12013-12015
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12012-12012	Investigating is a subclass of intentional process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12043-12043	Diagnostic process is a subclass of investigating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10713-10713	Espionage is a subclass of investigating
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12038-12038	Experimenting is a subclass of investigating
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1872-1872	Offensive information operation is a subclass of investigating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10729-10729	Polling is a subclass of investigating
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 674-674	Reconnaissance operation is a subclass of investigating
No TPTP formula. May not be expressible in strict first order.	WMD.kif 715-715	Researching weapon of mass destruction is a subclass of investigating
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12054-12054	Searching is a subclass of investigating
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1191-1191
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1604-1604

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12030-12036	If a process is an instance of investigating and an agent is an agent of the process and an entity is a patient of the process, then the process has the purpose the agent knows the entity for the agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12023-12028	If a process is an instance of investigating and an agent is an agent of the process and an entity is a patient of the process, then the agent doesn't know the entity holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12017-12021	If a process is an instance of investigating and an entity is a patient of the process, then the entity is an instance of formula

consequent

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

Mid-level-ontology.kif 7330-7337

If a physical is an instance of commission,
then the physical has the purpose there exist an entity and another entity such that the entity is an instance of investigating and the other entity is a patient of the entity and the physical is an agent of the entity

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