TreeView Knowledge Base Browser

appearance as argument number 1

(documentation BusinessExecutive EnglishLanguage "BusinessExecutive refers to a person responsible for the management of a business")	Mid-level-ontology.kif 22208-22209
(subAttribute BusinessExecutive BusinessPerson)	Mid-level-ontology.kif 22207-22207	BusinessExecutive ist ein teilattribut von BusinessPerson

appearance as argument number 2

Mid-level-ontology.kif 22210-22210

antecedent

(=>
    (attribute ?X BusinessExecutive)
    (exists (?BUSINESS ?MANAGE)
        (and
            (instance ?MANAGE Managing)
            (instance ?BUSINESS Organization)
            (patient ?MANAGE ?BUSINESS)
            (agent ?MANAGE ?X))))

Mid-level-ontology.kif 22212-22219

Wenn BusinessExecutive ist ein attribut von AutonomousAgent %n{nicht},
dann es gibt Entity und Process um ** Process ist ein fall von Managing %n{nicht} und ** Entity ist ein fall von Organization %n{nicht} und ** Entity ist ein patient von ** Process %n{nicht} und ** Process ist der agent von ** AutonomousAgent %n{nicht}

consequent

(=> (attribute ?X ExecutiveLevel) (forall (?Y) (=> (and (instance ?Y HotelRoom) (located ?Y ?X)) (hasPurpose ?Y (exists (?HUMAN) (and (attribute ?HUMAN BusinessExecutive) (instance ?HUMAN Human) (stays ?HUMAN ?Y)))))))	Hotel.kif 1224-1236	Wenn ExecutiveLevel ist ein attribut von Object %n{nicht}, dann fuer alle Physical wenn Physical ist ein fall von HotelRoom %n{nicht} und Physical befindet sich an %n{nicht}, dann Physical hat Zweck von es gibt entity um BusinessExecutive ist ein attribut von entity %n{nicht} und entity ist ein fall von Human %n{nicht} und stays entity and ** Physical %n{nicht}
(=> (attribute ?X FemaleExecutiveRoom) (hasPurpose ?X (exists (?HUMAN) (and (instance ?HUMAN Human) (attribute ?HUMAN Female) (attribute ?HUMAN BusinessExecutive) (stays ?HUMAN ?X)))))	Hotel.kif 1042-1050	Wenn FemaleExecutiveRoom ist ein attribut von Object %n{nicht}, dann Object hat Zweck von es gibt entity um entity ist ein fall von Human %n{nicht} und Female ist ein attribut von entity %n{nicht} und BusinessExecutive ist ein attribut von entity %n{nicht} und stays entity and Object %n{nicht}