Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - organizationRepresentative
organizationRepresentative

appearance as argument number 1
-------------------------


(instance organizationRepresentative BinaryPredicate) TravelPolicies.kif 318-318 an agent that is an organization representative (in some transaction) is an instance of binary predicate
(documentation organizationRepresentative EnglishLanguage "(organizationRepresentative ?INDIVIDUAL ?ORG) means that the ?INDIVIDUAL is a official representative of ?ORG in some transaction)") TravelPolicies.kif 319-319 an agent that is an organization representative (in some transaction) is an instance of binary predicate
(domain organizationRepresentative 1 AutonomousAgent) TravelPolicies.kif 323-323 The number 1 argument of an agent that is an organization representative (in some transaction) is an instance of agent
(domain organizationRepresentative 2 Organization) TravelPolicies.kif 324-324 The number 2 argument of an agent that is an organization representative (in some transaction) is an instance of organization
(instance organizationRepresentative SocialRole) TravelPolicies.kif 325-325 an agent that is an organization representative (in some transaction) is an instance of social role

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage organizationRepresentative "an agent that is an organization representative (in some transaction)") TravelPolicies.kif 321-321

antecedent
-------------------------


(=>
    (organizationRepresentative ?Person ?Org)
    (exists (?TRANSACTION)
        (and
            (instance ?TRANSACTION Transaction)
            (agent ?TRANSACTION ?Person))))		 TravelPolicies.kif 330-335 If an agent that is an organization representative (in some transaction) X and Y, then there exists Z such that Z is an instance of transaction and X is an agent of Z

consequent
-------------------------


(=>
    (instance ?T BusinessTrip)
    (exists (?TRIP ?HUMAN ?ORG ?AREA)
        (and
            (instance ?TRIP Trip)
            (agent ?TRIP ?HUMAN)
            (organizationRepresentative ?HUMAN ?ORG)
            (hasPurpose ?TRIP
                (exists (?WORK)
                    (and
                        (instance ?WORK Working)
                        (agent ?WORK ?HUMAN)
                        (holdsDuring
                            (WhenFn ?WORK)
                            (not
                                (and
                                    (basedIn ?HUMAN ?ORG ?AREA)
                                    (located ?WORK ?AREA))))))))))		 TravelPolicies.kif 384-401 If X is an instance of BusinessTrip, then there exist Y, Z,, , W and V such that Y is an instance of trip and Z is an agent of Y and an agent that is an organization representative (in some transaction) Z and W and Y has the purpose there exists U such that U is an instance of working and Z is an agent of U and ~{ basedIn Z, W and V } or ~{ U is located at V } holds during the time of existence of U
(=>
    (instance ?T TravelPolicy)
    (exists (?ORG ?INDIVIDUAL ?BUSINESSTRIP)
        (and
            (policyOwner ?ORG ?T)
            (organizationRepresentative ?INDIVIDUAL ?ORG)
            (instance ?BUSINESSTRIP BusinessTrip)
            (agent ?BUSINESSTRIP ?INDIVIDUAL))))		 TravelPolicies.kif 1349-1356 If X is an instance of TravelPolicy, then there exist Y, Z, W such that Y enacts policy X, an agent that is an organization representative (in some transaction) Z, Y, W is an instance of BusinessTrip, and Z is an agent of W


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners