Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12014-12026	If a process is an instance of deciding and a cognitive agent is an agent of the process and a set is an instance of set and the set is a patient of the process and an entity is an element of the set, then the cognitive agent believes there exists another entity such that the entity is an instance of the other entity and the other entity is a subclass of intentional process and the cognitive agent is capable of doing the other entity as a agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10486-10486	Intentional process is a subclass of process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 675-675	Deploying weapon of mass destruction is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 731-731	Dismantling weapon of mass destruction is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 257-257	List on site is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2489-2489	Evacuating is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 446-446	Dodging is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6618-6618	Punching is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7920-7920	Ceremony is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13118-13118	Ducking is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13859-13859	Criminal action is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15882-15882	Commenting is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18007-18007	Digging is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18021-18021	Tilling is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18094-18094	Drilling is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20422-20422	Work leave is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10512-10512	Intentional psychological process is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10523-10523	Recreation or exercise is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10535-10535	Organizational process is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10850-10850	Designing is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11139-11139	Ambulating is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11169-11169	Swimming is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11607-11607	Guiding is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12174-12174	Keeping is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12219-12219	Maintaining is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12223-12223	Repairing is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12331-12331	Poking is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12671-12671	Content development is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12813-12813	Making is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12874-12874	Pursuing is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12923-12923	Investigating is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12999-12999	Social interaction is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13385-13385	Maneuver is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13553-13553	Looking is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13627-13627	Listening is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	engineering.kif 114-114	Modeling is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1197-1197	Engineers subprocess is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1310-1310	IT process is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1167-1167	User action is a subclass of intentional process

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