Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AssemblyStation(assembly station) |
| appearance as argument number 1 |
|
| (subclass AssemblyStation StationaryArtifact) | Economy.kif 2107-2107 | Assembly station is a subclass of stationary artifact |
| (subclass AssemblyStation Region) | Economy.kif 2108-2108 | Assembly station is a subclass of region |
| (documentation AssemblyStation EnglishLanguage "An AssemblyStation is a StationaryArtifact in Manufacture (ing) where individual parts are combined or attached to the final product in a specific order.") | Economy.kif 2109-2111 | Assembly station is a subclass of region |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AssemblyStation "assembly station") | domainEnglishFormat.kif 65784-65784 |
| antecedent |
|
|
| (=> (instance ?X AssemblyStation) (hasPurpose ?X (exists (?P) (and (instance ?P ProductAssembly) (eventLocated ?P ?X))))) |
Economy.kif 2113-2119 | If X is an instance of assembly station, then X has the purpose there exists Y such that Y is an instance of Product assembly and Y is located at X |
| (=> (and (instance ?P ProductAssembly) (eventLocated ?P ?X) (instance ?X AssemblyStation)) (or (instance ?P Attaching) (instance ?P Combining))) |
Economy.kif 2135-2142 | If X is an instance of Product assembly, X is located at Y, and Y is an instance of assembly station, then X is an instance of attaching or X is an instance of combining |
|