TreeView Knowledge Base Browser - MovableBridge

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MovableBridge

MovableBridge(movable bridge)

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7367-7367
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6711-6711
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7356-7356
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7357-7357
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7358-7358
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7368-7368
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7359-7359
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7360-7360
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7361-7361
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7362-7362
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7363-7363
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7364-7364
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7365-7365
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7366-7366
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1626-1626	Movable bridge is a subclass of bridge

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1627-1627	Drawbridge is a subclass of movable bridge
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1628-1628	Pontoon bridge is a subclass of movable bridge
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39015-39015
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39014-39014
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39013-39013

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