TreeView Knowledge Base Browser - Crawling

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Crawling

Crawling(crawling)

crawl, crawling, creep, creeping

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4377-4382
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4374-4374	Crawling is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4375-4375	Crawling is a subclass of translocation

appearance as argument number 2

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

Mid-level-ontology.kif 4376-4376

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4384-4392	If a process is an instance of crawling and an agent is an agent of the process, then there exists the agentRM such that the agentRM is an instance of arm and the agentRM is a part of the agent and the agentRM is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4394-4398	If a process is an instance of crawling and an agent is an agent of the process, then the agent is an instance of biped

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