Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Entity(entity) |  | Jim_Crow, Moloch, actuality, adversative_conjunction, aftermath, aim, albatross, allocation, allotment, allowance, antecedent, antitype, apology, appearance, articulation, assets, bag, balance, bamboo_curtain, barrier, base, be, beginning, being, beingness, bind, bit, bourn, bourne, brace, brainchild, breed, business, case, case_in_point, circumstances, clew, clue, cogent_evidence, color_bar, color_line, colour_bar, colour_line, complementarity, component, component_part, concentrate, consequence, constituent, contour... |
| appearance as argument number 1 |
|
|
| (partition Entity Physical Abstract) | Merge.kif 808-808 | Entity is exhaustively partitioned into physical and abstract |
| (documentation Entity EnglishLanguage "The universal class of individuals. This is the root node of the ontology.") | Merge.kif 809-810 | Entity is exhaustively partitioned into physical and abstract |
| appearance as argument number 2 |
|
|
| (range AssignmentFn Entity) | Merge.kif 780-780 | The range of assignment is an instance of entity |
| (subclass Physical Entity) | Merge.kif 824-824 | Physical is a subclass of entity |
| (subclass Abstract Entity) | Merge.kif 1762-1762 | Abstract is a subclass of entity |
| (range ListOrderFn Entity) | Merge.kif 3090-3090 | The range of list order is an instance of entity |
| (range LastFn Entity) | Merge.kif 3318-3318 | The range of last is an instance of entity |
| (range FirstFn Entity) | Merge.kif 3338-3338 | The range of first is an instance of entity |
| (range ShortageFn Entity) | Geography.kif 4320-4320 | The range of shortage is an instance of entity |
| (termFormat EnglishLanguage Entity "entity") | english_format.kif 828-828 | The range of shortage is an instance of entity |
| appearance as argument number 3 |
|
|
| consequent |
|
|
| (=> (instance ?CLASS Class) (subclass ?CLASS Entity)) |
Merge.kif 820-822 | If X is an instance of class, then X is a subclass of entity |
| (=> (businessUnit ?BU ?ORG) (exists (?INTEREST) (and (instance ?INTEREST Entity) (inScopeOfInterest ?BU ?INTEREST)))) |
UXExperimentalTerms.kif 2573-2578 | If X is a business unit of Y, then there exists Z such that Z is an instance of entity and X is interested in Z |
| (=> (instance ?TEAM CrossFunctionalTeam) (exists (?INTEREST) (and (instance ?INTEREST Entity) (forall (?MEMBER) (=> (and (instance ?MEMBER Human) (member ?MEMBER ?TEAM)) (inScopeOfInterest ?MEMBER ?INTEREST)))))) |
UXExperimentalTerms.kif 2619-2629 | If X is an instance of cross_functional team, then there exists Y such that Y is an instance of entity, Z Z is an instance of human, and Z is a member of XZ is interested in Y |
| statement |
|
|
| (exists (?THING) (instance ?THING Entity)) |
Merge.kif 817-818 | There exists X such that X is an instance of entity |
|