TreeView Knowledge Base Browser

appearance as argument number 1

(subclass RailroadCompany TransportationCompany)	Transportation.kif 4902-4902	Railroad company is a subclass of transportation company
(documentation RailroadCompany EnglishLanguage "Any TransportationCompany whose services include Transportation by Train.")	Transportation.kif 4903-4904	Railroad company is a subclass of transportation company

appearance as argument number 2

(subclass ClassIRailroad RailroadCompany)	Transportation.kif 4916-4916	ClassI railroad is a subclass of railroad company
(subclass ClassIIRailroad RailroadCompany)	Transportation.kif 4922-4922	ClassII railroad is a subclass of railroad company
(subclass ClassIIIRailroad RailroadCompany)	Transportation.kif 4928-4928	ClassIII railroad is a subclass of railroad company
(termFormat EnglishLanguage RailroadCompany "railroad company")	domainEnglishFormat.kif 48633-48633	ClassIII railroad is a subclass of railroad company
(termFormat ChineseTraditionalLanguage RailroadCompany "鐵路公司")	domainEnglishFormat.kif 48634-48634	ClassIII railroad is a subclass of railroad company
(termFormat ChineseLanguage RailroadCompany "铁路公司")	domainEnglishFormat.kif 48635-48635	ClassIII railroad is a subclass of railroad company

antecedent

(=>
    (instance ?COMPANY RailroadCompany)
    (exists (?SERVICE ?TRAIN)
        (and
            (instance ?SERVICE CommercialService)
            (agent ?SERVICE ?COMPANY)
            (instance ?SERVICE Transportation)
            (instrument ?SERVICE ?TRAIN)
            (instance ?TRAIN Train))))

If X is an instance of railroad company, then there exist Y, Z such that Y is an instance of commercial service, X is an agent of Y, Y is an instance of transportation, Z is an instrument for Y, and Z is an instance of train