TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24494-24497
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24499-24499	The number 1 argument of transported is an instance of transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24500-24500	The number 2 argument of transported is an instance of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24493-24493	transported is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24492-24492	transported is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24502-24502	transported is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24501-24501	transported is a subrelation of object transferred

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 243-243
No TPTP formula. May not be expressible in strict first order.	english_format.kif 244-244
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1970-1970
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24512-24512	cargo is a subrelation of transported
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 244-244	cargo is a subrelation of transported
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59008-59008	cargo is a subrelation of transported
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59007-59007	cargo is a subrelation of transported
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59006-59006	cargo is a subrelation of transported

antecedent

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

Transportation.kif 4115-4126

consequent

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

Mid-level-ontology.kif 25216-25222