TreeView Knowledge Base Browser - Pursuing

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Pursuing

Pursuing(pursuing)

audit, bag, bank_examination, batfowl, battue, beagling, berry, bird-nest, birdnest, birdnesting, blackberry, canned_hunt, capture, catch, chase, chase_after, check, clam, coursing, cruise, cull, dark_field_illumination, dark_ground_illumination, deerstalking, devastation, divine, dog, dowse, dowsing, duck_hunting, ducking, ensnare, entrap, examination, exploration, feel, ferret, fine-tooth_comb, fine-toothed_comb, fire_watching, fluorescence_microscopy, follow, following, forage, foraging, fox_hunting, foxhunt, frisk, frisking, frog...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3226-3227
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12875-12876
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12874-12874	Pursuing is a subclass of intentional process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12899-12899	Hunting is a subclass of pursuing
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2342-2342	Search attempt is a subclass of pursuing
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1190-1190
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1597-1597
No TPTP formula. May not be expressible in strict first order.	french_format.kif 868-868
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 401-401
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 404-404
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2552-2552
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 820-820
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 406-406
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 440-440
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 889-889
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 405-405

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12892-12897	If a process is an instance of pursuing and an agent is an agent of the process and an entity is a patient of the process, then the agent doesn't possess the entity holds during the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12885-12890	If a process is an instance of pursuing and an agent is an agent of the process and an entity is a patient of the process, then the agent wants the entity holds during the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12878-12883	If a process is an instance of pursuing, then there exists an entity such that the entity is an instance of object and the entity is a patient of the process

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11964-11971	If a process is an instance of discovering and an entity is a patient of the process, then there exists a physical such that the physical is an instance of pursuing and the time of existence of the physical meets the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 558-570	If a process is an instance of recovery operation and an entity is a patient of the process, then the process has the purpose there exists another entity such that the entity is a patient of the other entity and the other entity is an instance of the union of classifying and the union of pursuing and the union of discovering and the union of locating and returning

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