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 13078-13080
No TPTP formula. May not be expressible in strict first order. Merge.kif 13077-13077 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 13108-13108 Diagnostic process is a subclass of investigating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15303-15303 Espionage is a subclass of investigating
No TPTP formula. May not be expressible in strict first order. Merge.kif 13103-13103 Experimenting is a subclass of investigating
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5352-5352 Gram stain is a subclass of investigating
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1891-1891 Offensive information operation is a subclass of investigating
No TPTP formula. May not be expressible in strict first order. Economy.kif 2053-2053 Part inspection is a subclass of investigating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15319-15319 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 720-720 Researching weapon of mass destruction is a subclass of investigating
No TPTP formula. May not be expressible in strict first order. Merge.kif 13119-13119 Searching is a subclass of investigating
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1191-1191 Searching is a subclass of investigating
No TPTP formula. May not be expressible in strict first order. english_format.kif 1599-1599 Searching is a subclass of investigating
No TPTP formula. May not be expressible in strict first order. french_format.kif 869-869 Searching is a subclass of investigating
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 402-402 Searching is a subclass of investigating
No TPTP formula. May not be expressible in strict first order. terms-it.txt 405-405 Searching is a subclass of investigating
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2553-2553 Searching is a subclass of investigating
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 821-821 Searching is a subclass of investigating
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 407-407 Searching is a subclass of investigating
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 441-441 Searching is a subclass of investigating
No TPTP formula. May not be expressible in strict first order. terms-de.txt 700-700 Searching is a subclass of investigating
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 890-890 Searching is a subclass of investigating
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 406-406 Searching is a subclass of investigating

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13095-13101
No TPTP formula. May not be expressible in strict first order. Merge.kif 13088-13093
No TPTP formula. May not be expressible in strict first order. Merge.kif 13082-13086

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4028-4041
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9647-9654


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